diff options
| -rw-r--r-- | home-dots/dot-bashrc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/home-dots/dot-bashrc b/home-dots/dot-bashrc index edfc360..dd7aa4c 100644 --- a/home-dots/dot-bashrc +++ b/home-dots/dot-bashrc @@ -10,7 +10,11 @@ HISTSIZE=-1 HISTFILESIZE=-1 -HISTCONTROL=ignorespace +HISTCONTROL=ignoreboth +HISTTIMEFORMAT="[%F %T] " +# Change the file location because certain bash sessions truncate .bash_history file upon close. +# http://superuser.com/questions/575479/bash-history-truncated-to-500-lines-on-each-login +HISTFILE=~/.bash_eternal_history # enable color support of ls and also add handy aliases if [ -x /usr/bin/dircolors ]; then |