const.ml 4.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384
  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. (* File to stock configuration variables *)
  37. open Core.Std;;
  38. (* General function to get environment variables
  39. * exp: exception*)
  40. let get_var ?(exp=false) ?default name =
  41. let msg =
  42. lazy (sprintf "ERROR: Couldn't get %s. Please consider setting it." name)
  43. in
  44. (* Return value or exception *)
  45. let run_exn () =
  46. match exp with
  47. | true -> failwith (Lazy.force msg)
  48. | false -> print_endline (Lazy.force msg); ""
  49. in
  50. (* Get the var *)
  51. Sys.getenv name
  52. |> (function
  53. | Some x -> x
  54. | None ->
  55. match default with
  56. | None -> run_exn ()
  57. | Some default -> default)
  58. ;;
  59. (* Get current home *)
  60. let home =
  61. lazy (get_var ~exp:true "HOME")
  62. ;;
  63. (* Get default editor *)
  64. let editor = (* If editor is not set, it gets "", but an exception is raised *)
  65. lazy (get_var ~exp:true "EDITOR")
  66. ;;
  67. (* Level of verbosity, used by Messages module *)
  68. let verbosity = ref 4;;
  69. (* Use do not use colors *)
  70. let no_color = ref false;;
  71. (* Default place to read settings *)
  72. let rc_file_default = Lazy.(home >>| (fun home -> home ^ "/" ^
  73. ".oclaunch_rc.json"));;
  74. (* Current place to read settings, maybe modified from command line argument *)
  75. let rc_file = ref rc_file_default;;
  76. (* Set tmp file, in witch stock launches, in biniou format *)
  77. let tmp_file = get_var ~default:"/tmp/.oclaunch_trace.dat" "OC_TMP";; (* File where launch are logged *)