ctrl-r: Recherche incrémentale dans l'historique de la ligne de commande
Sous Linux, vous avez tapé une commande shell compliquée mais très utile il y a quelques jours et vous passez votre temps à remonter ligne par ligne dans votre historique de commandes?
Alors c’est le moment de découvrir la recherche incrémentale avec “ctrl-r”!
Ouvrez votre shell préféré et faites la combinaison de touches ctrl-r. Commencez à taper un extrait (n’importe lequel, pas forcément le début) de la ligne qui vous intéresse, et au fur et à mesure que vous tapez, la ligne la plus récente correspondant à votre recherche va s’afficher. Si la proposition ne vous convient pas, tapez encore une fois ctrl-r pour trouver la correspondance précédente. Lorsque vous avez trouvé ce que vous cherchiez, taper enter et voilà votre commande, prête à être éditée (ou exécutée!).
Comme cette fonctionnalité est implémentée par la bibliothèque readline, elle est disponible dans de très nombreux contextes (bash, zsh, console python, …)
En ce qui me concerne, je trouve que c’est à la fois une des fonctionnalités les plus utiles et les moins connues de la bibliothèque readline. Essayez!