Re: Debian: salvare history
On Fri, 2001-09-28 at 15:50, Eleonora wrote:
>
>
> Ho iniziato ad usare linux da pochissimo ed ho
> deciso di partire bene usando Debian Potato 2.2r3
> ma ho un problemino con history:
>
> dopo un reboot del sistema il file indicato in $HISTORYFILE
> non viene aggiornato con la storia dei comandi e quindi è
> nuovamente vuoto.
l'history viene salvata quando esci dalla shell. quindi, se fai un
reboot _senza_ uscire dalla shell, perdi l'history. o, almeno, e' cosi'
per me (se qualcuno sa come salvarla continuamente lo dica ora o taccia
per sempre... :)
paradossalmente e' uno dei motivi per cui uso X. quando chiudo un xterm,
la bash che ci gira dentro salva immadiatamente l'history.
--
Federico Di Gregorio
MIXAD LIVE Chief of Research & Technology fog@mixadlive.com
Debian GNU/Linux Developer & Italian Press Contact fog@debian.org
God is real. Unless declared integer. -- Anonymous FORTRAN programmer
Reply to: