Parcourir la source

Default reset command is now -r

Leo il y a 10 ans
Parent
commit
f43ffc344c
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      src/oclaunch.ml

+ 1 - 1
src/oclaunch.ml

@@ -60,7 +60,7 @@ let commands =
     ~readme:(fun () -> "See https://gitlab.com/WzukW/oclaunch for help.")
     ~readme:(fun () -> "See https://gitlab.com/WzukW/oclaunch for help.")
     (* TODO if number is out of the mist, return error message *)
     (* TODO if number is out of the mist, return error message *)
     Command.Spec.(empty
     Command.Spec.(empty
-    +> flag ~aliases:["-reset-tmp" ; "-r"] "--reset-tmp" no_arg
+    +> flag ~aliases:["-reset-tmp" ; "--reset-tmp"] "-r" no_arg
                     ~doc:" Reinitialises launches by deleting temporal file."
                     ~doc:" Reinitialises launches by deleting temporal file."
     +> anon (maybe ("Command number" %: int)))
     +> anon (maybe ("Command number" %: int)))
     (fun reset_tmp num_cmd () ->
     (fun reset_tmp num_cmd () ->