Better recording of shell commands
GOAL: Keep track of the time of shell command execution
and do not lose command history.
The following solution works well for me
on many of my servers.
1. cp /etc/profile /etc/profile.orig
2. Edit /etc/profile
3. diff /etc/profile /etc/profile.orig
[root@zaphod root]# diff /etc/profile /etc/profile.orig
32,36c32
< HISTSIZE=1000000000
< HISTFILESIZE=1000000000
< HISTDATE=`date`
<
< echo "Commands below this line occur after $HISTDATE" >> $HOME/.bash_history
---
> HISTSIZE=1000
42c38
< export PATH USER LOGNAME MAIL HOSTNAME HISTSIZE HISTFILESIZE INPUTRC
---
> export PATH USER LOGNAME MAIL HOSTNAME HISTSIZE INPUTRC
NOTE: /etc/profile is many times called twice, so there are two
lines "Commands below this line"... entered into .bash_history.
This is the best solution I have found aside from altering
the bash source code and recompiling bash.
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>