diff options
Diffstat (limited to 'Utility/Url.hs')
| -rw-r--r-- | Utility/Url.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Utility/Url.hs b/Utility/Url.hs index 617fe3f4d..7ce43d9bd 100644 --- a/Utility/Url.hs +++ b/Utility/Url.hs @@ -33,8 +33,12 @@ exists url = _ -> return False {- Used to download large files, such as the contents of keys. + - - Uses wget or curl program for its progress bar. (Wget has a better one, - - so is preferred.) -} + - so is preferred.) Which program to use is determined at run time; it + - would not be appropriate to test at configure time and build support + - for only one in. + -} download :: URLString -> FilePath -> IO Bool download url file = do e <- inPath "wget" |