Si vous entrez history, une liste
numérotée clignotante s'affiche, montrant les
500 dernières commandes utilisées.
Vous n'avez sans doute pas besoin de voir la totalité
des 500 dernières commandes ; dans ce cas, la
commande history 20 (où
20 fait référence aux vingt
dernières commandes entrées) est probablement
plus utile. Vous pouvez utiliser n'importe quel nombre.
Voici d'autres raccourcis de l'historique des commandes
pouvant s'avérer utiles :
"!!" : les caractères
!! exécutent la
dernière commande de l'historique.
"!nombre" : la
combinaison
!nombre
(comme dans !302) exécute la
commande du fichier historique portant le numéro
302.
"!chaîne
caractères" : la
combinaison !chaîne de
caractères (comme dans
!rpm) exécute une commande du
fichier historique contenant une chaîne identique.
Flèche haut et
flèche bas : à
l'invite du shell bash, vous pouvez appuyer sur la
touche de direction haut pour revenir
en arrière dans des commandes
précédentes de la liste de l'historique
(la touche de direction bas vous fait
avancer dans les commandes) jusqu'à trouver la
commande de votre choix. Appuyez sur
Entrée pour exécuter la
commande, comme si vous l'aviez entrée dans la
ligne de commande.