Differences

This shows you the differences between two versions of the page.

--- informatique:linux:bash [2016/09/09 06:53] – [Debugger un script] pteu
+++ informatique:linux:bash [2016/10/14 21:50] – [Historique des commandes] création pteu
@@ Line 216: / Line 216: @@
 }
 </code>
+====Historique des commandes====
+La commande ''history'' permet d'afficher la liste des dernières commandes exécutées dans le terminal. Pour ajouter un timestamp (horodatage) on peut jouer sur les variables suivantes (à ajouter dans votre ''~/.bashrc'' ou à exporter) :
+<code bash>
+# ajouter l'horodatage
+HISTTIMEFORMAT="%Y/%m/%d_%H:%M:%S "
+# détermine le nombre de commandes max enregistrées
+HISTSIZE=20000
+# pour supprimer les doublons
+HISTCONTROL=ignoredups
+</code>
+Pour réafficher la dernière commande, on peut juste appuyer sur la touche de rappel de la dernière commande ("flèche haut") ; en appuyant une seconde fois on a l'avant-dernière, etc... OU sinon utiliser la commande ''!'' :
+<code bash>
+# relancer la dernière commande
+!!
+# relancer de la dernière commande commençant par "cd"
+!cd
+# relancer la 10ème commande de l'historique
+!10
+# relancer l'anvat-dernière commande
+!-2
+# relancer la dernière commande contenant la chaîne "home"
+!?home
+# relancer la dernière commande en remplaçant "toto" par "tata"
+^toto^tata^
+</code>
+Il existe un outil pour faire des recherches en "temps réel" dans l'historique ; pour l'invoquer on utilise ''Ctrl+R''. Le prompt est renommé en ''(reverse-i-search)`': '' et on peut saisir une chaîne de caractères ; l'outil va automatiquement rappeler la dernière commande saisie matchant cette chaîne.