blob: f0458562746abf1f945e4e45f7753c31f4d8aa39 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
let mapjoin f l = (List.fold_left (fun a b -> a ^ (f b)) "" l)
let mapjoine e f = function
[] -> ""
| h::t -> (List.fold_left (fun a b -> a ^ e ^ (f b)) (f h) t)
exception FileAlreadyExists
let open_out_unless_exists path =
if Sys.file_exists path
then raise FileAlreadyExists
else open_out path
let run_in_other_directory tmppath cmd =
let prevdir = Sys.getcwd () in(
Sys.chdir tmppath;
let retval = Sys.command cmd in
(Sys.chdir prevdir; retval)
)
|
