diff options
author | 2011-01-27 17:00:32 -0400 | |
---|---|---|
committer | 2011-01-27 17:00:32 -0400 | |
commit | 167523f09d48777f3a5931fdcbc21b9d363e0e6c (patch) | |
tree | 698c1c601b39b617ccc02259053c3c39372ed5db /Backend/File.hs | |
parent | 6be516ae3bddb8f05ea62661019836e03be12a2c (diff) |
better directory handling
Rename Locations functions for better consitency, and make their values
more consistent too.
Used </> rather than manually building paths. There are still more places
that manually do so, but are tricky, due to the behavior of </> when
the second FilePath is absolute. So I only changed places where
it obviously was relative.
Diffstat (limited to 'Backend/File.hs')
-rw-r--r-- | Backend/File.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Backend/File.hs b/Backend/File.hs index 35cbc0191..68dd4db27 100644 --- a/Backend/File.hs +++ b/Backend/File.hs @@ -77,7 +77,7 @@ copyKeyFile key file = do -- before going on to the next remote.) probablyPresent r = if not $ Git.repoIsUrl r - then liftIO $ doesFileExist $ annexLocation r key + then liftIO $ doesFileExist $ gitAnnexLocation r key else return True docopy r continue = do showNote $ "copying from " ++ Git.repoDescribe r ++ "..." |