Dans la plupart des shells Unix, la ↑
touche fléchée remplace la commande en cours de modification par la commande précédente de l'historique. L'historique peut être vu en utilisant la commande history
.
↑
peut être pressé plus d'une fois pour grimper dans l'histoire.
Ma question est:
Comment puis-je configurer mon shell pour ↑
ignorer toutes les commandes identiques à la commande actuelle?
En effet j'en saisis souvent plusieurs make
d'affilée. Lorsque je veux entrer à nouveau (ou modifier légèrement) une commande plus ancienne, je dois appuyer ↑
plusieurs fois juste pour ignorer toutes les make
commandes.
Je sais que ↑
c'est loin d'être le seul conseil qui augmente la productivité de la coque.
prime:
- donner une configuration fonctionnant pour le shell Bash.
- conserver l'historique (sachant que vous avez tapé une commande plusieurs fois de suite peut être utile)
la source
setopt histignoredups
fait le travail mais supprime également les doublons de l'histoirehistexpiredupsfirst
que j'utilise également n'aurait pas de sens. Il fait expirer les doublons avant de regarder l'âge. (Je parle de zsh ici)