Je note ici — ça m’évitera de le chercher partout —, cette petite astuce pour améliorer le parcours dans l’historique du terminal :
"\e[A": history-search-backward
"\e[B": history-search-forward
set show-all-if-ambiguous on
set completion-ignore-case onÀ coller dans le fichier .inputrc dans le répertoire home du compte.
Ça permet de chercher dans l’historique les seules commandes qui comportent le même début que ce que vous venez de taper.
1 De Emmanuel -
J’ai lu les deux articles derrière ton lien, mais je ne vois pas bien comment ça s’utilise.
Il faut taper les commandes
history-search-backward/forwardau-delà de la classiquehistory, c’est ça ?J’ai également du mal à voir l’utilité d’un
backward/forward;historyne démarre t-elle pas à partir de la dernière commande effectuée ? Impossible de faire unforwarddu coup, non ?2 De Franck -
Nope, les flèches haut et bas permettent de naviguer dans l’historique. Avec ça dans le fichier
.inputrcil suffit, par exemple de commencer à taper apt-get puis d’utiliser les flèches haut/bas pour naviguer parmi toutes les commandes enregistrées commençant par apt-get.En gros ça filtre sur le début des commandes.
3 De saymonz -
Sur mes postes, un CTRL+R permet de chercher dans l’historique avec la saisie en cours comme filtre. Ça fonctionne sur (oh-my-)zsh, je ne sais pas si ça fait partie de la configuration par défaut ni si ça fonctionne sur d’autres shells par contre.
4 De Franck -
saymonz j’ai pas l’impression que ce soit actif avec bash.
5 De Emmanuel -
Cool ! Merci, je vais vite ajouter cela à ma machine 🙂
6 De saymonz -
Effectivement, sous Bash ça lance bien une recherche dans l’historique mais sans prise en compte de la saisie en cours.
Une bonne raison de plus de passer à ZSH ;-) !