comment
This commit is contained in:
parent
a2e482b590
commit
815d1318d7
1 changed files with 5 additions and 1 deletions
|
@ -33,8 +33,12 @@ exists url =
|
||||||
_ -> return False
|
_ -> return False
|
||||||
|
|
||||||
{- Used to download large files, such as the contents of keys.
|
{- 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,
|
- 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 :: URLString -> FilePath -> IO Bool
|
||||||
download url file = do
|
download url file = do
|
||||||
e <- inPath "wget"
|
e <- inPath "wget"
|
||||||
|
|
Loading…
Reference in a new issue