Comment rechercher l'historique des commandes du shell avec un éditeur de texte?

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?

De man bash:

HISTFILE
    The name of the file in which command history is saved.
    The default value  is  ~/.bash_history.
    If unset, the command history is not saved when a shell exits.

Ainsi, la variable HISTFILEcontiendra le nom de fichier où l'historique sera enregistré.

$ echo "$HISTFILE"
/home/user/.bash_history

Vous pouvez maintenant rechercher le motif:

$ grep "vim" "$HISTFILE"
vim foo.text
vim bar.text
vim file.txt

Comme l'a souligné @Dennis, si vous le souhaitez, vous pouvez exécuter history -apour ajouter l'historique des commandes de la session en cours d'exécution au $HISTFILEfichier. Fondamentalement, les commandes seront automatiquement ajoutées une fois que vous fermerez une session, history -aferont la même chose à cet instant.

Exécutez help historypour avoir plus d'idée sur le historybuiltin lui-même.

Essaye ça:

history > output.txt
less output.txt

Recherchez ensuite en tapant /+searchterm

L'historique de bash est enregistré dans votre répertoire personnel ~/.bash_history.

Fondamentalement Ctrl+ Rrecherche dans ce fichier.