Je sais que Ctrl+ Rvous permet de rechercher l'historique des commandes, mais c'est un peu primitif. Existe-t-il un moyen d'exporter tout mon historique de commandes (pas seulement la session de terminal en cours, mais l'historique complet) vers un fichier texte? Je pourrais alors utiliser un éditeur de texte pour le rechercher confortablement. Ou si le fichier historique existe déjà, où est-il?
8
Réponses:
De
man bash
:Ainsi, la variable
HISTFILE
contiendra le nom de fichier où l'historique sera enregistré.Vous pouvez maintenant rechercher le motif:
Comme l'a souligné @Dennis, si vous le souhaitez, vous pouvez exécuter
history -a
pour ajouter l'historique des commandes de la session en cours d'exécution au$HISTFILE
fichier. Fondamentalement, les commandes seront automatiquement ajoutées une fois que vous fermerez une session,history -a
feront la même chose à cet instant.Exécutez
help history
pour avoir plus d'idée sur lehistory
builtin lui-même.la source
history -a
.Essaye ça:
Recherchez ensuite en tapant
/
+searchterm
la source
L'historique de bash est enregistré dans votre répertoire personnel
~/.bash_history
.Fondamentalement Ctrl+ Rrecherche dans ce fichier.
la source