Bash_history

Bjour !
Suite à une petite discussion avec Vincent hier soir à l'apéro :
Je suis toujours gêné que bash_history contienne plein de doublon.
Autrement dit : quelle directive mettre dans bashrc pour corriger ce
léger problème ?

Ben voilà, après lecture du manuel bash :
Par défaut, le .bashrc d'un user :
export HISTCONTROL=$HISTCONTROL${HISTCONTROL+,}ignoredups
export HISTCONTROL=ignoreboth

que je compléterais bien par un :
export HISTCONTROL=erasedups
Pour effacer les entrées identiques précédentes tout en conservant la
succession des dernières commandes (utile pour s'y retrouver).

Me trompes-je ?

RV2D