diff options
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 |