Duplicados no arquivo de histórico mesmo depois de HISTCONTROL especificado

Question

Estou usando o cygwin com o bash (no Windows 7 pro). Eu tenho o seguinte em .bashrc :

# Don't put duplicate lines in the history.
export HISTCONTROL="ignoredups"

e o seguinte em .bash_profile :

# source the system wide bashrc if it exists
if [ -e /etc/bash.bashrc ] ; then
    source /etc/bash.bashrc
fi

# source the users bashrc if it exists
if [ -e "${HOME}/.bashrc" ] ; then
    source "${HOME}/.bashrc"
fi

No entanto, o histórico de comandos está repleto de duplicatas.

    

Answer 1

ignoredups apenas impede duplicatas que correspondam à linha anterior. Então, sua história não deve conter

ls
ls

Mas ainda pode conter

ls
cd
ls

man bash diz (ênfase minha):

A value of ignoredups causes lines matching the previous history entry to not be saved.