Bash-History ändern
Es gibt dazu zwar einen Foreneintrag bei ubuntuusers.de, aber ich kann es ja auch im Blog niederschreiben.
Es gibt in der Bash die schöne Funktion per [Strg]+[R] einen vorherigen Befehl zu suchen. Man gibt danach einfach die Anfangsbuchstaben des Befehls ein oder einfach nur einen Teil davon, wenn man sich nicht an alles erinnert. Die Suche nach gre
findet also auch Befehlsaufrufe mit egrep
.
Noch etwas einfacher finde ich aber die Suche mittels der Pfeiltaste nach oben. Man gibt den Anfang eines vorherigen Befehls ein und drückt dann die Pfeiltaste nach oben. Der Befehl wird dann – soweit in der Bash-History gespeichert – mit dem letzten Vorkommen ersetzt. Auf die Art kann man häufig benutzte Befehle schnell eingeben.
Per Standard ist die Funktion leider inaktiv, es reicht aber aus, die folgenden Zeilen in die .bashrc
einzutragen:
bind '"\e[A"':history-search-backward bind '"\e[B"':history-search-forward
Kommentare
Ansicht der Kommentare: Linear | Verschachtelt
Keba am :
Hallo,
Auch wenn man sich unter der Überschrift etwas anders vorstellen würde: Vielen Dank, habs gleich mal eingebaut ;)
Keba