diff options
author | Joey Hess <joey@kitenet.net> | 2011-09-18 20:11:39 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-09-18 20:11:39 -0400 |
commit | dd463a3100f21d72c35ca1af5b0f63f6296cf322 (patch) | |
tree | 048aa1402eb5b3717706cb97863f823904dec44e /Remote/Web.hs | |
parent | d78b9f7d546bd4f13349e01777d5dd45fc01b0af (diff) |
rework annex-ignore handling
Only one place need to filter the list of remotes for ignored remotes:
keyPossibilities. Make the full list available to everything else.
This allows getting rid of the special case handing for --from and --to
to make ignored remotes not be ignored with those options.
Diffstat (limited to 'Remote/Web.hs')
-rw-r--r-- | Remote/Web.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Remote/Web.hs b/Remote/Web.hs index 3695bb1ab..8fb29ec40 100644 --- a/Remote/Web.hs +++ b/Remote/Web.hs @@ -58,7 +58,8 @@ gen r _ _ = removeKey = dropKey, hasKey = checkKey, hasKeyCheap = False, - config = Nothing + config = Nothing, + repo = r } {- The urls for a key are stored in remote/web/hash/key.log |