Ich habe gerade mal wieder etwas ganz nützliches gefunden:
Die Suche nach einem Befehl in der eigenen Shell-History:
$ history | grep BEFEHL
Oder Strg-r, dann die noch bekannten Buchstaben des Befehlszeile tippen. Auswahl mit Enter, Abbruch mit Strg-C, weitersuchen nochmal mit Strg-r 🙂