On 3/7/06, Haim Ashkenazi <[EMAIL PROTECTED]> wrote: > when you press reboot the shell process dies, so it doesn't save the > history. if you want to save history you have to exit the shell and then > login and enter reboot, or press ctrl+alt+del.
What about putting the following:
trap "history -w" EXIT
in ~/.bash_profile or /etc/profile?
This way the current history is flushed when the shell exits.
My 2c
--
Matteo Lanza
[EMAIL PROTECTED]
--
[email protected] mailing list
