16 Sep
2003
16 Sep
'03
9:50 a.m.
Ein Nachzügler ..
man kann ja mit dem Befehl 'history' die Befehle sichern, die man in der Shell eingegeben hat. Es gibt auch die .bash_history, die ich aber ungern ueber tausend Zeilen wachsen lassen wuerde.
Meine ist nur 500 Zeilen lang. Und wenn ich
HISTFILESIZE=728
setze, dann wird sie eben 728 Zeilen lang.
Und, da wir gerade dabei sind:
HISTIGNORE=' *:&'
ist auch nützlich. Es macht, daß die Zeilen, die mit 'nem Leerzeichen beginnen, nicht in die History kommen, und doppelte Zeilen auch nicht.
Heiko