exec_cmd.ml 5.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131
  1. (******************************************************************************)
  2. (* Copyright © Joly Clément, 2014-2015 *)
  3. (* *)
  4. (* leowzukw@oclaunch.eu.org *)
  5. (* *)
  6. (* Ce logiciel est un programme informatique servant à exécuter *)
  7. (* automatiquement des programmes à l'ouverture du terminal. *)
  8. (* *)
  9. (* Ce logiciel est régi par la licence CeCILL soumise au droit français et *)
  10. (* respectant les principes de diffusion des logiciels libres. Vous pouvez *)
  11. (* utiliser, modifier et/ou redistribuer ce programme sous les conditions *)
  12. (* de la licence CeCILL telle que diffusée par le CEA, le CNRS et l'INRIA *)
  13. (* sur le site "http://www.cecill.info". *)
  14. (* *)
  15. (* En contrepartie de l'accessibilité au code source et des droits de copie, *)
  16. (* de modification et de redistribution accordés par cette licence, il n'est *)
  17. (* offert aux utilisateurs qu'une garantie limitée. Pour les mêmes raisons, *)
  18. (* seule une responsabilité restreinte pèse sur l'auteur du programme, le *)
  19. (* titulaire des droits patrimoniaux et les concédants successifs. *)
  20. (* *)
  21. (* A cet égard l'attention de l'utilisateur est attirée sur les risques *)
  22. (* associés au chargement, à l'utilisation, à la modification et/ou au *)
  23. (* développement et à la reproduction du logiciel par l'utilisateur étant *)
  24. (* donné sa spécificité de logiciel libre, qui peut le rendre complexe à *)
  25. (* manipuler et qui le réserve donc à des développeurs et des professionnels *)
  26. (* avertis possédant des connaissances informatiques approfondies. Les *)
  27. (* utilisateurs sont donc invités à charger et tester l'adéquation du *)
  28. (* logiciel à leurs besoins dans des conditions permettant d'assurer la *)
  29. (* sécurité de leurs systèmes et ou de leurs données et, plus généralement, *)
  30. (* à l'utiliser et l'exploiter dans les mêmes conditions de sécurité. *)
  31. (* *)
  32. (* Le fait que vous puissiez accéder à cet en-tête signifie que vous avez *)
  33. (* pris connaissance de la licence CeCILL, et que vous en avez accepté les *)
  34. (* termes. *)
  35. (******************************************************************************)
  36. open Core.Std;;
  37. (* Type to give a more accurate representation of the program *)
  38. type state =
  39. | Empty (* Empty rc file *)
  40. | Finish (* everything was launched *)
  41. | A of string (* There is this command to launch *)
  42. ;;
  43. (* Function allowing to set the title of the current terminal windows
  44. * XXX Maybe better in some lib *)
  45. let set_title new_title =
  46. (* Use echo command to set term title *)
  47. Sys.command (sprintf "echo -en \"\\033]0;%s\\a\"" new_title)
  48. |> function
  49. | 0 -> ()
  50. | _ -> sprintf "Error while setting terminal title" |> Messages.warning
  51. ;;
  52. (* Function to return the less launched command, at least the first one *)
  53. (* Log is a list of entry (commands) associated with numbers *)
  54. let less_launched (log : (string * int) list) =
  55. let open Option in
  56. let max = Const.default_launch in (* Number of launch, maximum *)
  57. (* Return smallest, n is the smaller key, if there are some entries *)
  58. match log with
  59. | [] -> Empty
  60. | _ ->
  61. let entries_by_number = List.Assoc.inverse log in
  62. List.min_elt ~cmp:(fun (n,_) (n',_) -> Int.compare n n') entries_by_number
  63. |> fun smallest ->
  64. bind smallest (fun (min, cmd) -> some_if (min < max) cmd)
  65. |> function None -> Finish | Some entry -> A entry
  66. ;;
  67. (* Function to get the number corresponding to the next command to launch (less
  68. * launched) *)
  69. let less_launched_num log =
  70. (* Debug *)
  71. Messages.debug "less_launched_num: LOG:";
  72. Tools.spy1_log log
  73. (* Function to return nothing (None) when max launch number is reached, Some
  74. * number otherwise *)
  75. |> List.filter_mapi ~f:(fun entry_number ( _, launch_number ) ->
  76. if launch_number >= Const.default_launch
  77. then None
  78. else Some ( entry_number, launch_number ))
  79. (* Find the less launched by sorting and taking the first *)
  80. |> List.sort
  81. ~cmp:(fun ( _, launch_number1 ) ( _, launch_number2 ) ->
  82. Int.compare launch_number1 launch_number2)
  83. |> List.hd
  84. |> function
  85. | Some ( entry_number, launch_number ) ->
  86. launch_number |> sprintf "Launch number found: %i" |> Messages.debug;
  87. Messages.debug "Return launch number (printed bellow):";
  88. Some ( Tools.spy1_int entry_number )
  89. | None ->
  90. Messages.debug "No less launched cmd.";
  91. None
  92. ;;
  93. (* Function to determinate what is the next command to
  94. * execute. It takes the current numbers from tmp file. *)
  95. let what_next ~tmp =
  96. Tmp_file.get_accurate_log ~tmp ()
  97. (* Find the less launched, with order *)
  98. |> less_launched
  99. ;;
  100. (* Display an error message if command can't run
  101. * if 0 status, do nothing
  102. * else display status number *)
  103. let display_result command status =
  104. match status with
  105. | 0 -> (* No problem, do nothing *) ()
  106. | _ -> (* Problem occur, report it *)
  107. sprintf "Problem while running: '%s'\nExited with code: %i\n"
  108. command status
  109. |> Messages.warning
  110. ;;
  111. (* Execute some command and log it *)
  112. let execute ?(display=true) cmd =
  113. set_title cmd;
  114. Tmp_file.log ~cmd ~func:((+) 1) ();
  115. if display then
  116. Messages.ok cmd;
  117. (* We can remove lock file since number in tmp_file has been incremented *)
  118. Lock.remove ();
  119. Sys.command cmd
  120. |> display_result cmd (* Make it settable in rc file *)
  121. ;;