Re: history vor "exit" sichern

On Tue, Sep 16, 2003 at 10:57:35AM +0200, Stefan Lagotzki wrote:

Ja, meine bash-manpage spricht von "superseded".

Dieses Wort fiel mir gerade nicht ein.

Aber wenn's überholt ist, dann bedeutet das für mich, daß man's nicht mehr verwenden sollte, oder? Darum: HISTIGNORE.

Ich finde, mit dem history-Befehl sollte man gerade alle Anfaenger vertraut machen, damit sie einfacher nachvollziehen koennen, was sie alles gemacht haben.

... und ich denke immer, daß das selbstverständlich ist ... aber vielleicht hast Du Recht, die wenigsten benutzen das, ebensowenig wie command line completion...

[Kennt sich eigentlich noch jemand mit der csh-History-Syntax aus? Ich denke, das ist auch wirklich sinnvoll ...]

Heiko