exec_cmd.ml 5.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118
  1. (******************************************************************************)
  2. (* Copyright © Joly Clément, 2014-2015 *)
  3. (* *)
  4. (* leowzukw@vmail.me *)
  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. (* Function allowing to set the title of the current terminal windows
  38. * XXX Maybe better in some lib *)
  39. let set_title new_title =
  40. (* Use echo command to set term title *)
  41. Sys.command (sprintf "echo -en \"\\033]0;%s\\a\"" new_title)
  42. |> function | 0 -> () | _ -> sprintf "Error while setting terminal title"
  43. |> Messages.warning
  44. ;;
  45. (* Function to return the less launched command, at least the first one *)
  46. (* Log is a list of entry (commands) associated with numbers *)
  47. let less_launched (log : (string * int) list) =
  48. let max = Const.default_launch in (* Number of launch, maximum *)
  49. (* Return smallest, n is the smaller key *)
  50. let entries_by_number = List.Assoc.inverse log in
  51. List.min_elt ~cmp:(fun (n,_) (n',_) -> Int.compare n n') entries_by_number
  52. |> (function Some (min,cmd) ->
  53. if min < max
  54. then Some cmd
  55. else None
  56. | None -> None)
  57. ;;
  58. (* Function to get the number corresponding to the next command to launch (less
  59. * launched) *)
  60. let less_launched_num log =
  61. (* Debug *)
  62. Messages.debug "less_launched_num: LOG:";
  63. Tools.spy1_log log
  64. |> less_launched
  65. |> function
  66. | Some cmd ->
  67. Messages.debug (sprintf "Less launched cmd (in num) %s" cmd);
  68. List.Assoc.find_exn log cmd (* Should always be found, taken from the
  69. same list *)
  70. |> (fun position_in_log ->
  71. sprintf "Found position: %i" position_in_log
  72. |> Messages.debug;
  73. List.nth_exn log position_in_log
  74. (* Should always be found, taken from the
  75. * same list *)
  76. |> function ( _,num ) ->
  77. Messages.debug "Found number: ";
  78. Tools.spy1_int num |> ignore;
  79. Some num)
  80. | None -> None
  81. ;;
  82. (* Function to determinate what is the next command to
  83. * execute. It takes the current numbers from tmp file. *)
  84. let what_next ~tmp =
  85. Tmp_file.get_accurate_log ~tmp ()
  86. (* Find the less launched, with order *)
  87. |> less_launched
  88. ;;
  89. (* Display an error message if command can't run
  90. * if 0 status, do nothing
  91. * else display status number *)
  92. let display_result command status =
  93. match status with
  94. | 0 -> (* No problem, do nothing *) ()
  95. | _ -> (* Problem occur, display it *)
  96. sprintf "Problem while running: '%s'\nExited with code: %i\n"
  97. command status
  98. |> Messages.warning
  99. ;;
  100. (* Execute some command and log it *)
  101. let execute ?(display=true) cmd =
  102. set_title cmd;
  103. Tmp_file.log ~cmd ~func:((+) 1) ();
  104. if display then
  105. Messages.ok cmd;
  106. (* We can remove lock file since number in tmp_file has been incremented *)
  107. Lock.remove ();
  108. Sys.command cmd
  109. |> display_result cmd (* Make it settable in rc file *)
  110. ;;