exec_cmd.ml 3.8 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667
  1. (******************************************************************************)
  2. (* Copyright © Joly Clément, 2014 *)
  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 to determinate what is the next command to
  38. * execute *)
  39. let what_next ~tmp ~cmd_list =
  40. let tmp_json = Yojson.Basic.from_file tmp in
  41. let open Yojson.Basic.Util in
  42. let num_next = tmp_json |> member "num" |> to_int in (* Number of the next cmd to run *)
  43. let cmd_to_exec = List.nth cmd_list num_next in
  44. match cmd_to_exec with
  45. | None -> ""
  46. | Some x -> x
  47. ;;
  48. (* Log when a program has been launched in a file in /tmp
  49. ~func is the function applied to the value *)
  50. let log ?(func= (+) 1 ) ~file_name =
  51. let file = Yojson.Basic.from_file file_name in
  52. match file with
  53. | `Assoc [( a, `List b ); ("num", `Int c)] -> let new_value = `Assoc [( a, `List b ); ("num", `Int (c |> func))] in Yojson.Basic.to_file file_name new_value
  54. | _ -> failwith "Incorrect format"
  55. ;;
  56. (* Execute some command and log it *)
  57. let execute ?(display=true) ~tmp cmd =
  58. log ~func:((+) 1) ~file_name:tmp;
  59. if display then
  60. print_endline cmd;
  61. Sys.command cmd;
  62. ;;