-let wget ?output url =
- let flags =
- (match output with Some file -> ["-O " ^ file] | None -> []) @ [url]
- in
- Shell.call
- ~stdout:Shell.to_dev_null ~stderr:Shell.to_dev_null [Shell.cmd "wget" flags]
-
- (* TODO gzip and gunzip create executables file, but umask seems to be
- correctly inherited from the shell .... boh *)
-
- (* stderr shown as usual *)
-let gzip ?(keep = false) fname =
- if keep then (* keep original file *)
- Shell.call
- ~stdout:(Shell.to_file (fname ^ ".gz"))
- [Shell.cmd "gzip" ["-f"; "-c"; fname]]
- else (* don't keep original file *)
- Shell.call [Shell.cmd "gzip" ["-f"; fname]]
-
- (* stderr shown as usual *)
-let gunzip ?(keep = false) fname =
- if not (Pcre.pmatch ~pat:"\\.gz$" fname) then
- failwith "gunzip: source file doesn't end with '.gz'";
- let basename = Pcre.replace ~pat:"\\.gz$" fname in
- if keep then (* keep original file *)
- Shell.call
- ~stdout:(Shell.to_file basename)
- [Shell.cmd "gunzip" ["-f"; "-c"; fname]]
- else (* don't keep original file *)
- Shell.call [Shell.cmd "gunzip" ["-f"; fname]]
-
-let tempfile () =
- let buf = Buffer.create 28 in (* strlen("/tmp/fileSzb3Mw_http_getter") *)
- Shell.call
- ~stdout:(Shell.to_buffer buf)
- [Shell.cmd "tempfile" ["--suffix=_http_getter"]];
- Pcre.replace ~pat:"\n" (Buffer.contents buf)
-