edit_command.ml 4.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697
  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. (* Module to edit command without editing the rc file directly *)
  38. (* Function to create a new list augmented by some commands *)
  39. (* TODO Factorise this *)
  40. let new_list current_list position new_items =
  41. (* If a number is given, add commands after position n by
  42. splitting the list and concatenating all. List.split_n works like this :
  43. * #let l1 = [1;2;3;4;5;6] in
  44. * # List.split_n l1 2;;
  45. * - : int list * int list = ([1; 2], [3; 4; 5; 6]) *)
  46. let l_begin,l_end = List.split_n current_list position in
  47. List.concat [ l_begin ; new_items ; l_end ]
  48. ;;
  49. (* Function which get the nth element, put it in a file, let the user edit it,
  50. * and then remplace with the new result *)
  51. let run ~(rc:File_com.t) position =
  52. (* Current list of commands *)
  53. let current_list = rc.Settings_t.progs in
  54. (* Creating tmp file *)
  55. let tmp_filename = [
  56. "/tmp/oc_edit_" ;
  57. (Int.to_string (Random.int 10000)) ;
  58. ".txt" ;
  59. ] in
  60. let tmp_edit = String.concat tmp_filename in
  61. (* Remove item to be edited *)
  62. let original_command,shorter_list = Remove_command.remove current_list
  63. position in
  64. Out_channel.write_all tmp_edit original_command;
  65. (* Edit file *)
  66. let edit = String.concat [ Lazy.force Const.editor ; " " ; tmp_edit ] in
  67. Sys.command edit
  68. |> (function
  69. 0 -> ()
  70. | n -> sprintf "Error while running %s: error code %i" edit n
  71. |> Messages.warning);
  72. (* Reading and applying the result *)
  73. let new_commands = In_channel.read_lines tmp_edit in
  74. let cmd_list = new_list shorter_list position new_commands in
  75. let updated_rc = { rc with Settings_t.progs = cmd_list} in
  76. File_com.write updated_rc;
  77. (* Display the result *)
  78. sprintf "'%s' -> '%s'\n\n" original_command
  79. (List.fold
  80. ~f:(fun accum item -> String.concat [ accum ; item ; "\n" ])
  81. ~init:""
  82. new_commands)
  83. |> Messages.ok;
  84. let reread_rc = File_com.init_rc () in
  85. (* Display new rc file *)
  86. List_rc.run ~rc:reread_rc
  87. ;;