mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

improve layout

Browse source
This commit is contained in:
Joey Hess 2017-02-20 15:44:14 -04:00
parent 302370d5c3
commit 8dd3635acf
No known key found for this signature in database
GPG key ID: C910D9222512E3C7
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Utility/Url.hs
View file

@ -297,7 +297,12 @@ download' quiet url file uo = do
-- if the url happens to be empty, so pre-create.
writeFile file ""
go "curl" $ headerparams ++ quietopt "-s" ++
[Param "-f", Param "-L", Param "-C", Param "-", Param "-#", Param "-o"]
[ Param "-f"
, Param "-L"
, Param "-C", Param "-"
, Param "-#"
, Param "-o"
]
{- Run wget in a temp directory because it has been buggy
- and overwritten files in the current directory, even though