Duplicados en el archivo histórico incluso después de especificar HISTCONTROL

Question

Estoy usando cygwin con bash (en Windows 7 pro). Tengo lo siguiente en .bashrc:

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

y lo siguiente en .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

Sin embargo, el historial de mando está plagado de duplicados.

Answer 1

ignoredupssolo evita duplicados que coincidan con la línea anterior. Entonces, tu historial no debería contener

ls
ls

Pero todavía puede contener

ls
cd
ls

man bashdice (el énfasis es mío):

Un valor de ignoredupslíneas de causas que coinciden con elanteriorla entrada del historial no se guardará.