tmp_file.ml 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687
  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 create the tmp file *)
  38. let create_tmp_file ~name =
  39. Out_channel.create name (* TODO create file in /tmp *)
  40. ;;
  41. (* Function to open tmp file *)
  42. let init ~tmp =
  43. (* If file do not exists, create it *)
  44. let file_exists = (Sys.file_exists tmp) in
  45. match file_exists with
  46. | `No | `Unknown -> create_tmp_file ~name:tmp
  47. | `Yes -> Yojson.Basic.from_file tmp
  48. ;;
  49. (* Verify that the value exist *)
  50. let verify_key_exist ~key entry =
  51. if entry = key then
  52. true
  53. else
  54. false
  55. ;;
  56. (* Stock a value a file in /tmp
  57. ~target is the target file *)
  58. let stock_tmp ~key ~value ~target =
  59. let num_value = List.find target ~f:(verify_key_exist ~key:key) in
  60. num_value
  61. ;;
  62. (* Return true if a program is in the rc file *)
  63. let rec is_prog_in_rc liste_from_rc_file program = (* TODO restaure ?(liste_from_rc_file=rc_content.progs) *)
  64. match liste_from_rc_file with
  65. (* | None -> is_prog_in_rc program ~liste_from_rc_file:rc_content.progs *)
  66. | [] -> false
  67. | hd :: tl -> if hd = program then true else is_prog_in_rc tl program
  68. ;;
  69. (*
  70. (* Log when a program has been launched *)
  71. let log program =
  72. (* Verify the program exist in rc file *)
  73. let prog_rc = (is_prog_in_rc program) in
  74. match prog_rc with
  75. | false -> (* failwith *) "Not in configuration file"
  76. | true -> "Tmp value" (* TODO delete this *)
  77. (* let open Tmp_log_t in
  78. File_com.stock_tmp ~target:tmp_content.cmd ~key:program ~value:1 *)
  79. ;;
  80. *)