2015-11-17 23:57:38 +00:00
|
|
|
|
2021-12-31 12:00:36 +00:00
|
|
|
export HISTSIZE=10000
|
|
|
|
|
export HISTFILESIZE=10000
|
|
|
|
|
|
2015-11-17 23:57:38 +00:00
|
|
|
# don't put duplicate lines in the history. See bash(1) for more options
|
2021-12-31 12:00:36 +00:00
|
|
|
export HISTCONTROL=ignoredups:erasedups
|
|
|
|
|
shopt -s histappend
|
|
|
|
|
# Reload history on each command
|
|
|
|
|
#PROMPT_COMMAND="history -n; history -w; history -c; history -r; $PROMPT_COMMAND"
|
|
|
|
|
|
