16.5. Schnellsuche nach Befehlen

Ich habe gestern eine man-Seite auf dem Bildschirm angezeigt, kann mich aber jetzt nicht mehr erinnern, welchen Befehl ich hierzu eingegeben habe. Wie kann ich jetzt herausfinden, wie der Befehl lautet, um die man-Seite nochmals anzuzeigen?

Mit großer Wahrscheinlichkeit ist der von Ihnen eingegebene Befehl in einer Datei mit der Bezeichnung .bash_history gespeichert. Standardmäßig werden die 500 zuletzt am Shell-Prompt eingegebenen Befehle in dieser Datei gespeichert.

Wenn Sie history am Shell-Prompt eingeben, werden die in dieser Datei gespeicherten Befehle auf dem Bildschirm angezeigt - allerdings scrollt die Liste viel zu rasch über den Bildschirm.

Daher sollten Sie die Datei .bash_history mit einem Pager wie less anzeigen. Geben Sie hierzu den Befehl less .bash_history am Shell-Prompt ein. Die Ergebnisse werden pro Seite angezeigt. Um zum nächsten Bildschirminhalt zu blättern, drücken Sie die [Leertaste], um zurückzublättern [b], und zum Beenden der Anzeige [q].

Allerdings kann das Suchen nach einem bestimmten Befehl in .bash_history eine recht langwierige Angelegenheit werden. Daher sollten Sie für die Suche nach Schlüsselwörtern den Befehl grep verwenden, der Ihnen leistungsfähige Suchfunktionen zur Verfügung stellt.

Angenommen, Sie erinnern sich nicht mehr genau an den Namen der man-Seite, die Sie gelesen haben. Geben Sie dann für die Suche folgenden Befehl ein:

history | grep man

Daraufhin werden alle zuvor eingegebenen Befehle auf dem Bildschirm angezeigt, die das Wort man enthalten.

Die Befehlshistorie kann auf zahlreiche verschiedene Arten ausgewertet werden. Weitere Tipps und Tricks finden Sie in Abschnitt 16.6.