12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879 |
- (******************************************************************************)
- (* Copyright © Joly Clément, 2014-2015 *)
- (* *)
- (* leowzukw@vmail.me *)
- (* *)
- (* Ce logiciel est un programme informatique servant à exécuter *)
- (* automatiquement des programmes à l'ouverture du terminal. *)
- (* *)
- (* Ce logiciel est régi par la licence CeCILL soumise au droit français et *)
- (* respectant les principes de diffusion des logiciels libres. Vous pouvez *)
- (* utiliser, modifier et/ou redistribuer ce programme sous les conditions *)
- (* de la licence CeCILL telle que diffusée par le CEA, le CNRS et l'INRIA *)
- (* sur le site "http://www.cecill.info". *)
- (* *)
- (* En contrepartie de l'accessibilité au code source et des droits de copie, *)
- (* de modification et de redistribution accordés par cette licence, il n'est *)
- (* offert aux utilisateurs qu'une garantie limitée. Pour les mêmes raisons, *)
- (* seule une responsabilité restreinte pèse sur l'auteur du programme, le *)
- (* titulaire des droits patrimoniaux et les concédants successifs. *)
- (* *)
- (* A cet égard l'attention de l'utilisateur est attirée sur les risques *)
- (* associés au chargement, à l'utilisation, à la modification et/ou au *)
- (* développement et à la reproduction du logiciel par l'utilisateur étant *)
- (* donné sa spécificité de logiciel libre, qui peut le rendre complexe à *)
- (* manipuler et qui le réserve donc à des développeurs et des professionnels *)
- (* avertis possédant des connaissances informatiques approfondies. Les *)
- (* utilisateurs sont donc invités à charger et tester l'adéquation du *)
- (* logiciel à leurs besoins dans des conditions permettant d'assurer la *)
- (* sécurité de leurs systèmes et ou de leurs données et, plus généralement, *)
- (* à l'utiliser et l'exploiter dans les mêmes conditions de sécurité. *)
- (* *)
- (* Le fait que vous puissiez accéder à cet en-tête signifie que vous avez *)
- (* pris connaissance de la licence CeCILL, et que vous en avez accepté les *)
- (* termes. *)
- (******************************************************************************)
- open Core.Std;;
- (* Module to remove commands without editing the rc file directly *)
- (* Function remove nth command in the rc_file, returning the removed one and the
- * new list *)
- let remove current_list n =
- let removed = ref "" in
- (* The list without the nth item *)
- let new_list = List.filteri current_list ~f:(fun i _ ->
- if i <> n then
- (* If it is not nth, return true *)
- true
- else
- begin
- (* If it is nth, ie the command to be removed, store it and return
- * false, to remove the corresponding item *)
- removed := List.nth_exn current_list i;
- false
- end
- ) in
- ( !removed, new_list )
- ;;
- (* Function which add the commands (one per line) ridden on stdin to the rc
- * file, and then display th new configuration *)
- let run ~(rc:File_com.t) n_to_remove =
- (* Get actual list of commands *)
- let actual_list = rc.Settings_t.progs in
- (* Get nth *)
- let nth = Option.value n_to_remove
- ~default:((List.length actual_list) - 1) in
- (* Remove the nth command, after display it *)
- let removed,new_list = remove actual_list nth in
- sprintf "Removing: %s\n" removed
- |> Messages.warning;
- (* Write new list to rc file *)
- let updated_rc = { rc with Settings_t.progs = new_list } in
- File_com.write updated_rc;
- (* Display the result *)
- let reread_rc = File_com.init_rc () in
- List_rc.run ~rc:reread_rc
- ;;
|