diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-08-03 12:37:12 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-08-03 12:37:12 -0400 |
commit | 508517de485e77196a8d8e33558f4185c50dea96 (patch) | |
tree | 319fc6e63da144e40dd124a07f4bb6c0ad25c5ee /Command/Info.hs | |
parent | 019733f00d01301d71acc46245d2dc130934d951 (diff) |
get, move, copy, mirror: Added --failed switch which retries failed copies/moves
Note that get --from foo --failed will get things that a previous get --from bar
tried and failed to get, etc. I considered making --failed only retry
transfers from the same remote, but it was easier, and seems more useful,
to not have the same remote requirement.
Noisy due to some refactoring into Types/
Diffstat (limited to 'Command/Info.hs')
-rw-r--r-- | Command/Info.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Command/Info.hs b/Command/Info.hs index 39511e6d4..f8a13eb1c 100644 --- a/Command/Info.hs +++ b/Command/Info.hs @@ -32,6 +32,7 @@ import Remote import Config import Git.Config (boolConfig) import Utility.Percentage +import Types.Transfer import Logs.Transfer import Types.TrustLevel import Types.FileMatcher |