 |
 |
6.7 Historique
- Le shell bash enregistre toutes les
commandes tapées et permet de les rappeler pour les ré-exécuter soit
telles quelles, soit modifiées.
- La commande history permet
de lister le contenu de l’historique des
commandes, de façon numérotée.
- Le caractère ! permet de rappeler une commande.
- !!
 rappelle la dernière commande
- !n
 rappelle la commande numéro n
- !chaine
 rappelle la dernière
commande commençant par chaine
- On peut aussi utiliser les flèches
haut et bas pour naviguer dans l’historique des commandes.
- Le shell bash permet aussi d’utiliser les codes de
contrôle de l’éditeur de texte sélectionné par défaut dans votre
configuration (echo $EDITOR, pour le connaître). Si cet éditeur est
emacs,
- CTRL-P et
CTRL-N pour récupérer la
commande précédente (previous) et suivante (next);
- CTRL-R
puis une chaîne de caractères pour rappeler une commande contenant cette
chaîne.
previous next
 Commentaires de cette page
dans le polycopié de cours
Nous ne proposons pas d’illustration interactive pour la manipulation de
l’historique des commandes du shell. Dorénavant, lorsque vous voulez
exécuter une commande que vous avez déjà exécutée récemment, rappelez cette
commande plutôt que de la retaper. De même, lorsque vous faites une erreur dans
l’écriture d’une commande, rappelez la ligne erronée et corrigez-la
plutôt que de tout retaper. Nous vous demandons de faire l’effort de
taper le moins de caractères possibles en utilisant au maximum l’éditeur
de commandes du shell ; rien de plus stressant et décourageant que de ne pas
maîtriser l’éditeur de commandes du shell, surtout lorsqu’un
enseignant observe la scène ! Vous pouvez donc vous préparer à être évalué sur
ces points lors du contrôle.
INF, Télécom SudParis, CSC 3001,
Sept. 2014
|
|
