diff --git a/lib/mypervasives.ml b/lib/mypervasives.ml
index 577028c5be76c1664fe135d3549ee48b5c9c5f98..748417033f03e09b1b2e8c5d64d15839149ac5e0 100644
--- a/lib/mypervasives.ml
+++ b/lib/mypervasives.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 26/01/2023 (at 16:16) by Erwan Jahier> *)
+(* Time-stamp: <modified the 12/01/2024 (at 10:51) by Erwan Jahier> *)
 (* Should rather be named misc or utils *)
 
 
@@ -252,4 +252,8 @@ let (run : string -> (string -> string option) -> string list) =
     ignore (Unix.close_process_in proc);
     List.rev !list
 
+let (run_list: string -> string list) = fun str -> run str (fun s -> Some s)
+let (run_str : string -> string)  = fun str -> String.concat "\n" (run_list str)
+let (run_unit: string -> unit) = fun str -> print_string (run_str str)
+
 let ls path ext = run ("ls "^path^"*."^ext) (fun s -> Some s)