list_rc.ml 5.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105
  1. (******************************************************************************)
  2. (* Copyright © Joly Clément, 2014-2015 *)
  3. (* *)
  4. (* leowzukw@oclaunch.eu.org *)
  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. (* This modules contains function to list the content of the rc file *)
  38. (* Characters to append to show a command was truncated *)
  39. let trunc_indicator = "...";;
  40. (* Truncate to elength, and add [trunc_indicator] after entries longer than
  41. * elength or let them going through unmodified. *)
  42. (* Special case when elength < length(trunc_indicator), nothing is done *)
  43. let truncate ?elength str =
  44. let trunc_ind_l = String.length trunc_indicator in
  45. let elength =
  46. (* TODO Set 80 in Const *)
  47. Option.value ~default:80 elength
  48. in
  49. (* Cache it, to debug and for the condition later *)
  50. let str_length = String.length str in
  51. sprintf "Length of the command: %i" str_length |> Messages.debug;
  52. sprintf "Elength: %i" elength |> Messages.debug;
  53. (* We test separately, before truncating, that:
  54. * - elength is not <= to the length of the indicator, otherwise the command
  55. * should pass untouched
  56. * - the command is longer than elength *)
  57. if not(elength <= trunc_ind_l) && str_length > elength
  58. (* String.prefix is inclusive but incompatible with
  59. * 0 to keep whole string. Truncate to elength - trunc_ind_l since we add the
  60. * trunc_indicator (we need to cut a bit more) *)
  61. then String.prefix str (elength - trunc_ind_l) |> fun short_entry ->
  62. String.concat [ short_entry ; trunc_indicator ]
  63. else str
  64. ;;
  65. (* Function which list, rc would be automatically reread, this optional
  66. * argument is kept for backward compatibility
  67. * elength: truncate entries to length (0 does nothing)*)
  68. (* FIXME Remove ?rc or use it *)
  69. (* TODO:
  70. * - Test it, esp. ordering
  71. * - Allow to set form of the table, multiple rc file, display next to be
  72. * launched… *)
  73. let run ?rc ?elength () =
  74. let rc_numbered =
  75. File_com.init_rc ()
  76. |> fun rc -> rc.Settings_t.progs
  77. |> List.mapi ~f:(fun i item -> ( item, i ))
  78. in
  79. let tmp : Tmp_file.t = Tmp_file.init () in
  80. Tmp_file.get_accurate_log ~tmp ()
  81. (* Generate list to feed the table,
  82. * XXX assuming all will be in the right order *)
  83. |> List.map ~f:(function ( cmd, number ) ->
  84. [ (* Number of a command in rc file, command, number of launch *)
  85. (List.Assoc.find_exn rc_numbered cmd |> Int.to_string);
  86. (* Limit length, to get better display with long command. A default
  87. * length is involved when no length is specified *)
  88. truncate ?elength cmd;
  89. (Int.to_string number)
  90. ])
  91. |> Textutils.Ascii_table.simple_list_table
  92. ~display:Textutils.Ascii_table.Display.column_titles
  93. [ "Id" ; "Command" ; "Number of launch" ]
  94. ;;