diff options
| author | Luke Shumaker <shumakl@purdue.edu> | 2015-09-22 15:29:32 -0400 |
|---|---|---|
| committer | Luke Shumaker <shumakl@purdue.edu> | 2015-09-22 15:29:32 -0400 |
| commit | 8f8b4b4954c103aec63d836c99de01f31c887136 (patch) | |
| tree | 4660e476de9b2fdee6374f8b51243355fcb65912 /.config/bash/rc.d/10_hist.sh | |
| parent | 5c22284424454bbb89372399bda4ca0aef2f1f7c (diff) | |
| parent | 6fd75fa99cc547ed9b9aa3657d698ac9552cc7f9 (diff) | |
Merge branch 'master' into purdue-cs/master
Diffstat (limited to '.config/bash/rc.d/10_hist.sh')
| -rw-r--r-- | .config/bash/rc.d/10_hist.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.config/bash/rc.d/10_hist.sh b/.config/bash/rc.d/10_hist.sh new file mode 100644 index 0000000..d7c6bfc --- /dev/null +++ b/.config/bash/rc.d/10_hist.sh @@ -0,0 +1,9 @@ +#!/hint/bash + +# don't overwrite GNU Midnight Commander's setting of `ignorespace'. +HISTCONTROL=$HISTCONTROL${HISTCONTROL+,}ignoredups +HISTFILE=${XDG_CACHE_HOME}/bash/history +HISTTIMEFORMAT='[%Y-%m-%d %H:%M] ' +HISTSIZE=5000 +shopt -s histappend # append to the history file, don't overwrite it +mkdir -p "${HISTFILE%/*}" |