Avouons-le, nous, les humains, ne sommes pas doués pour nous souvenir des choses. Parfois, être oublieux peut être très frustrant et entraîner des conséquences douloureuses.
Contrairement à nous, les ordinateurs sont capables d'une mémoire presque parfaite. Un exemple est la commande history sous Linux. Ce programme garde une trace de tout ce que nous tapons dans la ligne de commande.
Cela semble assez simple, et ça l'est. Vous seriez surpris de voir combien de fois cet outil peut être utile !
Passons en revue quelques exemples qui amélioreront nos compétences en ligne de commande et nous rendront plus productifs.
Où sont les paramètres de la commande history stockés dans Linux ?
Pour mieux comprendre la commande d'historique, nous allons voir quels paramètres peuvent être configurés par l'utilisateur.
La valeur par défaut typique pour le nombre de commandes enregistrées est 1000 sur Ubuntu, mais elle peut varier d'un système à l'autre. Les paramètres de l'historique sont définis par votre profil bash (normalement ~/.bashrc). Plusieurs paramètres de fichier d'historique sont modifiables à partir de ce fichier, y compris l'emplacement du fichier journal.
Par défaut, l'historique des commandes est généralement enregistré dans ~/.bash_history.
[email protected]:~$ cat ~/.bash_history
sudo apt-get clean
#sudo e4defrag /
df -h
sudo e4defrag /
sudo fstrim /
sudo -s
poweroff
lsComment utiliser la commande history sous Linux ?
Voyons quelques exemples d'utilisation de la commande history sous Linux.
1) Utilisez les touches fléchées pour faire défiler l'historique des commandes
Beaucoup d'entre nous ne pensent pas à quoi ressemblait la ligne de commande avant de connaître cette astuce. Si vous ne le savez pas déjà, utilisez les touches fléchées haut/bas pour parcourir rapidement l'historique de vos commandes.
C'est idéal lorsque vous faites une erreur en entrant une commande longue et complexe. Appuyez simplement sur la flèche vers le haut et corrigez-la. Terminé.
2) Paramètres d'historique par défaut
Commençons par quelque chose de simple. Nous allons juste entrer la commande et voir ce qui est renvoyé.
historyCela renverra une liste numérotée de vos commandes récemment saisies.
[email protected]:~$ history
1 sudo apt-get clean
2 #sudo e4defrag /
3 df -h
4 sudo e4defrag /
5 sudo fstrim /
6 sudo -s
7 poweroff
8 ls
9 historyCela vous semble familier, non ? Il s'agit du contenu de notre fichier .bash_history, plus une nouvelle entrée pour "historique".
En fait, les nouvelles entrées ne seront pas reflétées dans le fichier tant que vous n'aurez pas fermé le shell.
2) Exécuter une commande depuis l'historique en utilisant index
Avez-vous remarqué que les commandes étaient numérotées lorsque vous avez exécuté la commande history ? Pour relancer rapidement une commande spécifique, tapez ! puis le numéro.
[email protected]:~$ !8
ls
Desktop Downloads fontconfig Pictures Templates
Documents examples.desktop Music Public Videos3) Supprimer une commande de l'historique
Si vous avez fait une erreur, vous pouvez effacer un élément spécifique avec l'option -d suivie du numéro de ligne. Effacons la ligne numéro neuf.
[email protected]:~$ history -d 9
[email protected]:~$ history
1 sudo apt-get clean
2 #sudo e4defrag /
3 df -h
4 sudo e4defrag /
5 sudo fstrim /
6 sudo -s
7 poweroff
8 ls4) Supprimer tout l'historique des commandes
Peut-être que vous voulez vous débarrasser de plus d'une ligne. Nous pouvons effacer tout l'historique en utilisant l'option -c.
[email protected]:~$ history -c
[email protected]:~$ history
1 history5) Recherche de commandes dans l'historique
Évidemment, mon fichier d'historique est maintenant assez court puisque je viens de l'effacer. Cependant, avec la possibilité d'avoir jusqu'à 1000 commandes, les choses peuvent rapidement devenir compliquées. Heureusement, vous pouvez utiliser des outils de recherche dans l'historique pour vous aider à trouver cette commande complexe que vous avez utilisée précédemment.
Méthode 1. Utiliser Grep
Voici une liste mise à jour de notre histoire.
[email protected]:~$ history
1 history
2 ls
3 ll
4 cd
5 cd ..
6 cd
7 ls
8 ll
9 history
Maintenant, je vais utiliser la commande history avec la commande grep pour trouver les entrées contenant le caractère l .
[email protected]:~$ history | grep l
2 ls
3 ll
7 ls
8 ll
10 history | grep lMéthode 2 : utiliser la recherche inversée
Vous pouvez également rechercher vos commandes à l'aide de l'outil de recherche inversée. Si vous appuyez sur Ctrl + r, vous verrez une nouvelle invite que vous pouvez utiliser pour rechercher votre historique de commandes.
[email protected]:~$
(reverse-i-search)`': Vous pouvez commencer à taper et il renverra des résultats au fur et à mesure que vous ajouterez des lettres. C'est l'un des raccourcis de terminal incontournables sous Linux.
Grep et la recherche inversée peuvent être utilisés pour vous faciliter la vie.
Conclusion
Ce n'était que des exemples de commandes d'historique très basiques. Il n'y a pas de fin à le personnaliser selon vos préférences et vos besoins. Nous aborderons peut-être certaines commandes d'historique avancées plus tard dans le futur.
J'espère que vous trouverez cette commande d'introduction à l'historique utile. Veuillez fournir vos commentaires dans la section des commentaires.