aboutsummaryrefslogtreecommitdiff
path: root/Remote.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2013-09-06 16:54:31 -0400
committerGravatar Joey Hess <joey@kitenet.net>2013-09-06 16:54:31 -0400
commit83b9820c2eb20f7f25a9b49c8d80e919658104e8 (patch)
tree6b839f2d71686ae32c5d1659193cc75a50c0ae0a /Remote.hs
parente313ad67ae5eb3955577b0d01a7ec2e1edc39b1e (diff)
Remind user when annex-ignore is set for some remotes, if unable to get or drop a file, possibly because it's on an ignored remote.
Diffstat (limited to 'Remote.hs')
-rw-r--r--Remote.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/Remote.hs b/Remote.hs
index 5dec6f3e5..b524a9f9e 100644
--- a/Remote.hs
+++ b/Remote.hs
@@ -231,6 +231,9 @@ showLocations key exclude nolocmsg = do
ppuuidswanted <- Remote.prettyPrintUUIDs "wanted" uuidswanted
ppuuidsskipped <- Remote.prettyPrintUUIDs "skipped" uuidsskipped
showLongNote $ message ppuuidswanted ppuuidsskipped
+ ignored <- filter (remoteAnnexIgnore . gitconfig) <$> remoteList
+ unless (null ignored) $
+ showLongNote $ "(Note that these git remotes have annex-ignore set: " ++ unwords (map name ignored) ++ ")"
where
filteruuids l x = filter (`notElem` x) l
message [] [] = nolocmsg