I find the history in the bash quite useful and I wanted to increase its size. Therefore I create a .bashrc file in my home directory (there was no such file in it before), wrote the appropriate commands into it and it worked.
However, when I set the option "erasedups" which should prevent me from getting duplicate entries in my history file, this is not working, "ignoredups" works though.
What am I doing wrong?
Here is my .bashrc:
Code: Select all
echo " DON'T PANIC "
alias ll="ls -l"
alias la="ls -a"
# set behaviour of the history
export HISTCONTROL=ignoredups:erasedups
export HISTSIZE=100000
export HISTFILESIZE=100000
shopt -s histappend
PROMPT_COMMAND="history -a"
Thanks,
aalemann