Browse Source

Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev

Leo 10 years ago
parent
commit
b15eba2226
1 changed files with 1 additions and 1 deletions
  1. 1 1
      const.ml

+ 1 - 1
const.ml

@@ -47,7 +47,7 @@ let home = match (Sys.getenv "HOME") with
 (* Some settings variales *)
 let rc_file = home ^ "/" ^ ".oclaunch_rc.json";;
 (* Set tmp file, in witch stock launches *)
-let tmp_file = "/tmp/tmp_test.json";; (* TODO Dev value, change this *)
+let tmp_file = "/tmp/oclaunch_trace.json";; (* File lanch are logged *)
 (* Template for the tmp file *)
 let (tmp_file_template:Yojson.Basic.json) = `Assoc
                                               [ "cmd", `List [];