diff options
author | Joey Hess <joey@kitenet.net> | 2011-08-20 12:52:29 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-08-20 12:52:29 -0400 |
commit | ec746c511f5666fc214eba1a477d1ababfe9d367 (patch) | |
tree | 4f74a9a7eb86d60235a4ef86340acc9bbe406131 | |
parent | 71215263855e2d5e940bb0086efd7691aa0139d8 (diff) |
note about why curl -# is used
I'd rather use wget really, but as git-annex uses libcurl elsewhere, it
seems best to stick with curl. And making this configurable seems
overboard.
-rw-r--r-- | Remote/Helper/Url.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Remote/Helper/Url.hs b/Remote/Helper/Url.hs index d3aea5622..af1fee8f0 100644 --- a/Remote/Helper/Url.hs +++ b/Remote/Helper/Url.hs @@ -39,6 +39,10 @@ exists url = download :: URLString -> FilePath -> Annex Bool download url file = do showOutput -- make way for curl progress bar + -- Uses the -# progress display, because the normal one is very + -- confusing when resuming, showing the remainder to download + -- as the whole file, and not indicating how much percent was + -- downloaded before the resume. liftIO $ boolSystem "curl" [Params "-L -C - -# -o", File file, File url] {- Downloads a small file. -} |