Set --clobber when running wget to ensure resuming works properly.
This commit is contained in:
parent
0912e752b5
commit
d603f536bd
2 changed files with 2 additions and 1 deletions
|
@ -110,7 +110,7 @@ download' quiet url headers options file =
|
||||||
_ -> return False
|
_ -> return False
|
||||||
where
|
where
|
||||||
headerparams = map (\h -> Param $ "--header=" ++ h) headers
|
headerparams = map (\h -> Param $ "--header=" ++ h) headers
|
||||||
wget = go "wget" $ headerparams ++ quietopt "-q" ++ [Params "-c -O"]
|
wget = go "wget" $ headerparams ++ quietopt "-q" ++ [Params "--clobber -c -O"]
|
||||||
{- Uses the -# progress display, because the normal
|
{- Uses the -# progress display, because the normal
|
||||||
- one is very confusing when resuming, showing
|
- one is very confusing when resuming, showing
|
||||||
- the remainder to download as the whole file,
|
- the remainder to download as the whole file,
|
||||||
|
|
1
debian/changelog
vendored
1
debian/changelog
vendored
|
@ -7,6 +7,7 @@ git-annex (4.20130816) UNRELEASED; urgency=low
|
||||||
* import: Add options to control handling of duplicate files:
|
* import: Add options to control handling of duplicate files:
|
||||||
--duplicate, --deduplicate, and --clean-duplicates
|
--duplicate, --deduplicate, and --clean-duplicates
|
||||||
* mirror: New command, makes two repositories contain the same set of files.
|
* mirror: New command, makes two repositories contain the same set of files.
|
||||||
|
* Set --clobber when running wget to ensure resuming works properly.
|
||||||
|
|
||||||
-- Joey Hess <joeyh@debian.org> Thu, 15 Aug 2013 15:47:52 +0200
|
-- Joey Hess <joeyh@debian.org> Thu, 15 Aug 2013 15:47:52 +0200
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue