diff options
author | Joey Hess <joey@kitenet.net> | 2010-10-22 15:56:57 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2010-10-22 15:56:57 -0400 |
commit | 3dbba26275d1c7ae895962b7c66e7774a716cc91 (patch) | |
tree | 0a9a60fe2c7262a1e41c171f418888976596d627 /Backend/File.hs | |
parent | 6f2a6a42d1fce3d5aa8e0b585829f4004c498165 (diff) |
reorg
Diffstat (limited to 'Backend/File.hs')
-rw-r--r-- | Backend/File.hs | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/Backend/File.hs b/Backend/File.hs index 15d8f4a26..797d48747 100644 --- a/Backend/File.hs +++ b/Backend/File.hs @@ -102,21 +102,6 @@ copyFromRemote r key file = do location = annexLocation r key sshlocation = (Git.urlHost r) ++ ":" ++ location -showLocations :: Key -> Annex () -showLocations key = do - g <- Annex.gitRepo - u <- getUUID g - uuids <- liftIO $ keyLocations g key - let uuidsf = filter (\v -> v /= u) uuids - ppuuids <- prettyPrintUUIDs uuidsf - if (0 < length uuidsf) - then showLongNote $ "Try making some of these repositories available:\n" ++ ppuuids - else showLongNote $ "No other repository is known to contain the file." - -showTriedRemotes remotes = - showLongNote $ "I was unable to access these remotes: " ++ - (Remotes.list remotes) - {- Checks remotes to verify that enough copies of a key exist to allow - for a key to be safely removed (with no data loss), and fails with an - error if not. -} @@ -163,3 +148,18 @@ checkRemoveKey key = do return False unsafe = showNote "unsafe" hint = showLongNote $ "(Use --force to override this check, or adjust annex.numcopies.)" + +showLocations :: Key -> Annex () +showLocations key = do + g <- Annex.gitRepo + u <- getUUID g + uuids <- liftIO $ keyLocations g key + let uuidsf = filter (\v -> v /= u) uuids + ppuuids <- prettyPrintUUIDs uuidsf + if (0 < length uuidsf) + then showLongNote $ "Try making some of these repositories available:\n" ++ ppuuids + else showLongNote $ "No other repository is known to contain the file." + +showTriedRemotes remotes = + showLongNote $ "I was unable to access these remotes: " ++ + (Remotes.list remotes) |