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

Keine Trackbacks

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

Kommentar schreiben

Die angegebene E-Mail-Adresse wird nicht dargestellt, sondern nur für eventuelle Benachrichtigungen verwendet.
Formular-Optionen