Return to record_shell_commands.txt CVS log

Up to [LON-CAPA] / doc / techtips

how to record the times and increase the history file size for
bash shell commands

    1: Better recording of shell commands
    2: 
    3: GOAL: Keep track of the time of shell command execution
    4: and do not lose command history.
    5: 
    6: The following solution works well for me
    7: on many of my servers.
    8: 
    9: 1. cp /etc/profile /etc/profile.orig
   10: 2. Edit /etc/profile
   11: 3. diff /etc/profile /etc/profile.orig
   12: [root@zaphod root]# diff /etc/profile /etc/profile.orig 
   13: 32,36c32
   14: < HISTSIZE=1000000000
   15: < HISTFILESIZE=1000000000
   16: < HISTDATE=`date`
   17: < 
   18: < echo "Commands below this line occur after $HISTDATE" >> $HOME/.bash_history
   19: ---
   20: > HISTSIZE=1000
   21: 42c38
   22: < export PATH USER LOGNAME MAIL HOSTNAME HISTSIZE HISTFILESIZE INPUTRC
   23: ---
   24: > export PATH USER LOGNAME MAIL HOSTNAME HISTSIZE INPUTRC
   25: 
   26: NOTE: /etc/profile is many times called twice, so there are two
   27: lines "Commands below this line"... entered into .bash_history.
   28: 
   29: This is the best solution I have found aside from altering
   30: the bash source code and recompiling bash.
   31: