diff options
| -rw-r--r-- | Utility/Url.hs | 3 | ||||
| -rw-r--r-- | debian/changelog | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/Utility/Url.hs b/Utility/Url.hs index e08266a76..c8020c814 100644 --- a/Utility/Url.hs +++ b/Utility/Url.hs @@ -116,7 +116,8 @@ download' quiet url headers options file = - the remainder to download as the whole file, - and not indicating how much percent was - downloaded before the resume. -} - curl = go "curl" $ headerparams ++ quietopt "-s" ++ [Params "-L -C - -# -o"] + curl = go "curl" $ headerparams ++ quietopt "-s" ++ + [Params "-f -L -C - -# -o"] go cmd opts = boolSystem cmd $ options++opts++[File file, File url] quietopt s diff --git a/debian/changelog b/debian/changelog index 1fc79b0b1..740f34ed5 100644 --- a/debian/changelog +++ b/debian/changelog @@ -18,6 +18,7 @@ git-annex (4.20130628) UNRELEASED; urgency=low * addurl --pathdepth: Fix failure when the pathdepth specified is deeper than the urls's path. * Windows: Look for .exe extension when searching for a command in path. + * Pass -f to curl when downloading a file with it, so it propigates failure. -- Joey Hess <joeyh@debian.org> Tue, 02 Jul 2013 15:40:55 -0400 |