|
@@ -63,6 +63,11 @@ let home =
|
|
|
get_var (lazy "HOME")
|
|
|
;;
|
|
|
|
|
|
+(* Get current loged in user (different of logname, original user loged in) *)
|
|
|
+let user =
|
|
|
+ get_var (lazy "USER")
|
|
|
+;;
|
|
|
+
|
|
|
(* Get default editor *)
|
|
|
let editor = (* If editor is not set, it gets "", but an exception is raised *)
|
|
|
get_var (lazy "EDITOR")
|
|
@@ -110,7 +115,10 @@ let rc_file_default =
|
|
|
let rc_file = ref rc_file_default;;
|
|
|
(* Set tmp file, in witch stock launches, in biniou format *)
|
|
|
let tmp_file =
|
|
|
- get_var ~default:(lazy ("/tmp/.oclaunch_trace.dat")) (lazy "OC_TMP")
|
|
|
+ let default =
|
|
|
+ Lazy.(user >>| sprintf "/tmp/.oclaunch_trace_%s.dat")
|
|
|
+ in
|
|
|
+ get_var ~default (lazy "OC_TMP")
|
|
|
|> Lazy.force
|
|
|
;;
|
|
|
(* Default max number for launch *)
|