[gentoo-user] Re: bash_history

[Tim Kruse <irrlicht2c@gmx.net>]

[-- Attachment #1: Type: text/plain, Size: 1522 bytes --]

* On 07.03.2006 Haim Ashkenazi wrote:

>> I am wondering what do I need to config so that when a user or root
>> type reboot the commands typed before a saved in bash_history and also
>> when the user or root don' type anything but just press combination of
>> keys ctrl+alt+del?
> 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.

 I love zsh ;-)

,-----
| % setopt | grep -i "append.*history"
| incappendhistory
| % man zshoptions | col -b | grep -A 4 APPEND_HISTORY
|     APPEND_HISTORY <D>
|         If this is set, zsh sessions will append their history  list  to
|         the  history file, rather than overwrite it. Thus, multiple par-
|         allel zsh sessions will all have their history  lists  added  to
|         the history file, in the order they are killed.
|--
|     INC_APPEND_HISTORY
|         This options works like APPEND_HISTORY except that  new  history
|         lines  are added to the $HISTFILE incrementally (as soon as they
|         are entered), rather than waiting until  the  shell  is  killed.
|         The  file  is periodically trimmed to the number of lines speci-
|         fied by $SAVEHIST, but can exceed this value between  trimmings.
`-----

 So long,
tkr

-- 
"There are some good people in it, but the orchestra as a whole is equivalent
to a gang bent on destruction."
-- John Cage, composer

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 189 bytes --]