Duplicatas no arquivo de histórico mesmo após HISTCONTROL especificado

Question

Estou usando o cygwin com 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

ignoredupsevita apenas duplicatas que correspondam à linha anterior. Então, seu histórico não deve conter

ls
ls

Mas ainda pode conter

ls
cd
ls

man bashdiz (ênfase minha):

Um valor de ignoredupsfaz com que as linhas correspondam aoanteriorentrada do histórico não será salva.