Rappels sur l’historique de commandes Linux
La commande history sous Linux vous permet d’afficher la liste des dernières commandes tapées par un utilisateur de manière interactive, à partir des différentes consoles. Ces commandes sont stockées dans le fichier ~/bash_history. Pour vider le contenu de votre historique, tapez la commande history -c. Il faut également effacer le fichier ~/.bash_history : rm -f ~/.bash_history.
La configuration de l’historique de commandes sous Linux
Elle se fait à l’aide de variables d’environnement que vous pouvez ajouter à vos fichiers /etc/profile, ~/.bashrc ou bien /etc/bashrc, comme :
- export HISTTIMEFORMAT=’%F %T ‘ : ajouter la date et l’heure à vos commandes
- export HISTIGNORE=’cd:date:ls:ll:pwd’ : ignore les commandes cd, date, ls, ll, pwd
- export HISTCONTROL=ignoredups : ignore les doublons
- export HISTSIZE= : nombre de commandes en mémoire illimitées
- export HISTFILESIZE= : nombre de commandes dans ~/.bash_history illimitées
Recherche de commande dans l’historique
Il y a beaucoup d’usages en matière d’utilisation de l’historique de commandes sous Linux. Je vous incite à lire l’excellent billet de Mickael sur la question. Vous pouvez aussi lire la page du guide Bash avancé consacré à la commande history. Pour ma part, j’utilise la combinaison de touches CTRL+R pour recherche dans l’historique.