Re: Debian: salvare history

[Federico Di Gregorio <fog@mixadlive.com>]

On Fri, 2001-09-28 at 16:07, Eleonora wrote:
> 
> > Credo basti chiudere la shell e dopo eventualmente riavviare o fermare la
> > macchina.
> >
> 
> è vero hai ragione se faccio "logout" prima di chiudere la history
> viene salvata, ma sarebbe possibile fare si che questo accada anche
> se esco con il comando "halt" o il comando "reboot" ?

in .bashrc:

alias chebellalamiatrapunta="history -w && halt"
alias annamoceneamagna="history -w && reboot"

-- 
Federico Di Gregorio
MIXAD LIVE Chief of Research & Technology              fog@mixadlive.com
Debian GNU/Linux Developer & Italian Press Contact        fog@debian.org
             Quis custodiet ipsos custodes? -- Juvenal, Satires, VI, 347