From 8dd3635acf3e2c1a72ee62d6e756f70ec113ec6c Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 20 Feb 2017 15:44:14 -0400 Subject: [PATCH] improve layout --- Utility/Url.hs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Utility/Url.hs b/Utility/Url.hs index 45a34bc359..166783e09c 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 -- 2.30.2