Ich arbeite viel auf der Kommandozeile. Dementsprechend nutze ich “gnome-terminal” relativ häufig. Manchmal huscht bei einer längeren Kommandoausgabe irgendwas über den Bildschirm und hinterher findet man es nicht mehr. Heute habe ich rausgefunden, dass man auch maschinell suchen kann!
Suche im Terminal
- Shift-Strg f
- Suchdialog geht auf (siehe unten)
- Suchbegriff eingeben
“Ist ja einfach!” Merkwürdig nur, dass ich das erst nach 20 Jahren Nutzung rausfinde!
Links
Historie
- 2022-07-14: Erste Version