Différences

Ci-dessous, les différences entre deux révisions de la page.

--- info:historique [2014/02/19 15:17] – modification externe 127.0.0.1
+++ info:historique [2024/05/07 05:58] (Version actuelle) – radeff
@@ Ligne 1: / Ligne 1: @@
+====== History / historic ======
+L'historique des commandes
+https://doc.ubuntu-fr.org/terminal#l_historique_des_commandes
+https://doc.ubuntu-fr.org/bash#une_meilleure_gestion_de_l_historique
+====== Supprimer ======
+Des commandes sensibles avec p. ex. des tests de mot de passe que vous voulez faire disparaître de l'historique?
+    history -c
+Plus spécifique
+    history -d [nodelalignedel'historique]
+<html><iframe width="560" height="315" src="https://www.youtube.com/embed/dNtYnXGt4MU?si=mEa1kNndYBprV2Jh" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen></iframe></html>
+===== Config history =====
+Configurer l'historique pour qu'il conserve date+heure
+<code>
+#echo 'export HISTTIMEFORMAT="%d/%m/%y %T "' >> ~/.bashrc
+echo 'export HISTTIMEFORMAT="%d/%m/%y %T "' >> ~/.login ; bash
+</code>
+===== script to keep activity =====
 <code>
 #! /usr/bin/bash
@@ Ligne 5: / Ligne 30: @@
 # Authors:
-# FR, Frederic.Radeff@adm.unige.ch, University of Geneva
+# FR, fradeff@akademia.ch
 # History
@@ Ligne 13: / Ligne 38: @@
 $go
 echo "history | sed 's/^  [0-9]*  //g'"
+</code>
+===== Astuces (fidji): Rechercher interactive dans l'historique des commandes lancées dans le terminal =====
+<code>
+<Ctrl+r>
+(reverse-i-search)`':ChaineRecherchée
+Pour continuer la recherche
+<Ctrl+r>
+Appuyez sur <Entrée> pour valider la commande
 </code>
+source: https://doc.ubuntu-fr.org/faq_astuce