open Unix;; let main () = let n = Array.length Sys.argv in if n < 2 then prerr_endline "Il faut au moins un argument." else let cmd = Sys.argv.(1) in let args = if n <= 2 then [||] else Array.sub Sys.argv 2 (n-2) in Shell.mon_exec cmd args;; handle_unix_error main ();; |