Mais la liste s'allonge vite et ce n'est finalement pas très commode, d'autant que les commandes mal formulées ou les fautes de frappe viennent la polluer...
Heureusement il y a hstr (comme HiSToRy), une application développée et maintenue depuis 10 ans, compatible avec "bash" et "zsh", et qui le fait beaucoup mieux !
Présentation
Une fois "hstr" installé

A la manière de FSearch, votre recherche se précise au fil de la saisie.
Pas la peine d'aller jusqu'au bout, trois ou quatre caractères suffisent souvent pour trouver ce qu'on cherche :
Sélectionnez la ligne de commande voulue à l'aide de la flèche "Bas" et lancez-la avec "Entrée".
Mieux encore, vous pouvez nettoyer l'historique de toutes les lignes redondantes, fautives ou sans intérêt sans avoir à éditer le fichier ".bash_history".
Choisissez la ligne à supprimer, tapez la touche "Suppr", confirmez par "y", toutes ses occurrences sont supprimées :
Il vous faudra bien sûr procéder au coup par coup pour supprimer les fautes de saisie — si j'avais voulu les inventer, je n'aurais pas fait mieux...
Les bandeaux supérieurs affichent quelques raccourcis utiles ("C-" étant "CTRL").
Vous pouvez ainsi composer une liste de favoris avec "CTRL f".
Pour "C-/", faites "CTRL Maj /", le raccourci ne semblant pas fonctionner avec le slash du pavé numérique :
Un essai ?

- Sur Zorin 16 (ou sur Ubuntu 20.04 ou antérieur), il faut ajouter le PPA du développeur à la liste des sources :
Code : Tout sélectionner
sudo add-apt-repository ppa:ultradvorka/ppa && sudo apt update && sudo apt install hstr && hstr --show-configuration >> ~/.bashrc && . ~/.bashrc
- Sur une version plus récente d'Ubuntu (future Zorin 17 ou Ubuntu 21.10 et plus), l'application a été ajoutée aux dépôts officiels :Remarque : ces commandes enregistreront aussi quelques lignes de configuration à la fin du fichier ".bashrc" qui créeront l'alias "hh" pour lancer "hstr", apporteront un peu de couleur à l'interface comme sur mes copies d'écran et porteront la taille de l'historique à 10000 entrées — cette page vous dira tout sur les options disponibles.
Code : Tout sélectionner
sudo apt update && sudo apt install hstr && hstr --show-configuration >> ~/.bashrc && . ~/.bashrc
- Pour installer "hstr" sur d'autres distributions, comme Debian — ou carrément le compiler si vous ne trouvez pas votre distribution dans la liste — suivez ce lien.
Une fois l'installation terminée, entrez cette ligne pour activer la configuration :Code : Tout sélectionner
hstr --show-configuration >> ~/.bashrc && . ~/.bashrc
Désinstallation
- Sur Zorin 16 (ou jusqu'à Ubuntu 20.04) :
Code : Tout sélectionner
sudo apt purge hstr && sudo add-apt-repository --remove ppa:ultradvorka/ppa && sudo apt update
- Depuis Ubuntu 21.10 :
Code : Tout sélectionner
sudo apt purge hstr
Vous pouvez supprimer les lignes de configuration :
... et remplacer les lignes 19-20 par celles-ci pour conserver le bénéfice de l'augmentation de la taille de l'historique :Code : Tout sélectionner
gedit .bashrc
Code : Tout sélectionner
export HISTFILESIZE=10000 export HISTSIZE=${HISTFILESIZE}
Encore un article qui va déchaîner l'enthousiasme de la communauté...
Pourtant, après en avoir pris connaissance, le nouvel outil d'IA collaboratif développé par Google conclut fort justement que :
hstr est une application utile pour les utilisateurs de Linux qui souhaitent améliorer l'utilisation de l'historique du terminal. Elle offre plusieurs fonctionnalités qui facilitent la recherche et la gestion de l'historique, ce qui peut économiser du temps et des efforts.