Angenommen, ich habe ein Terminal geöffnet, das in den letzten Stunden / Tagen Tausende von Ausgabezeilen meiner vorherigen Befehle enthält. Wie suche ich die aufgezeichnete Ausgabe nach einer Zeichenfolge? Ich bin besonders an einer Lösung interessiert, die keine Maus benötigt.
Ich weiß, ich hätte Tee benutzen sollen, aber das ist nicht immer praktisch.
Ich weiß, ich könnte "Alles auswählen", dann einen Editor öffnen, einfügen und dann suchen, aber ich hoffe auf etwas Einfacheres (und Alles auswählen scheint die Maus zu erfordern).
Ich hatte gehofft, dass es in der Menüleiste einen Befehl "Suchen ..." geben würde (wie es bei Mac OS X der Fall ist).