diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-02-20 15:44:14 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-02-20 15:44:14 -0400 |
| commit | 195c77f37e6d2bdbbe00234cc62b44fad641477e (patch) | |
| tree | a4bf18282f34a3659066e51a359eb825d52e537c /Utility | |
| parent | 1bdf610cb54329c016e19eb6bef8cc7bc631bb71 (diff) | |
improve layout
Diffstat (limited to 'Utility')
| -rw-r--r-- | Utility/Url.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Utility/Url.hs b/Utility/Url.hs index 45a34bc35..166783e09 100644 --- a/Utility/Url.hs +++ b/Utility/Url.hs @@ -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 |