Hier wird ein kleiner Trick vorgestellt, um die Befehle, die man während einer Bash-Shell-Sitzung eingibt, dauerhaft zu speichern.

Um die Befehle, die in einer (Bash-)Shell-Sitzung eingegeben und in der History gespeichert wurden, dauerhaft zu erhalten, kann man ein kleines logout-Skript anlegen. Das Skript ist nicht perfekt, aber es ist ein Anfang. Die Skript-Befehle kommen in die Datei ".bash_logout" im eigenen Home-Verzeichnis. Diese Datei wird ausgeführt, wenn man die Shell mit exit verlässt. Die Befehle hängen die Kommandos aus der History an die Datei ".bash_saved_history" an. Danach werden sie sortiert und doppelte Einträge werden entfernt. Die Skript-Datei sieht folgendermaßen aus:

cat ~/.bash_history >> ~/.bash_saved_history

cp ~/.bash_saved_history ~/.bash_saved_history.tmp

sort ~/.bash_saved_history.tmp | uniq > ~/.bash_saved_history