ctrl-r

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?