Supposons que j'ai un terminal ouvert qui contient des milliers de lignes de sortie de mes commandes précédentes au cours des dernières heures / jours. Comment rechercher une chaîne dans cette sortie enregistrée? Je suis particulièrement intéressé par une solution qui ne nécessite pas de souris.
Je sais que j'aurais dû utiliser un tee-shirt, mais ce n'est pas toujours pratique.
Je sais que je pourrais "Tout sélectionner", puis ouvrir un éditeur, coller, puis rechercher, mais j'espère quelque chose de plus simple (et Tout sélectionner semble nécessiter la souris).
J'espérais qu'il y aurait une commande "Rechercher ..." dans la barre de menus (comme Mac OS X).