From 195c77f37e6d2bdbbe00234cc62b44fad641477e Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 20 Feb 2017 15:44:14 -0400 Subject: improve layout --- Utility/Url.hs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'Utility') 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 -- cgit v1.2.3