Skip to content

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

Trackbacks

No Trackbacks

Comments

Display comments as Linear | Threaded

Keba on :

Hallo,

Auch wenn man sich unter der Überschrift etwas anders vorstellen würde: Vielen Dank, habs gleich mal eingebaut ;)

Keba

Add Comment

E-Mail addresses will not be displayed and will only be used for E-Mail notifications.
Form options