Suppress duplicate entries in Bash history

Bash can write his history with duplicate entries, if this is not what you want, just add export HISTCONTROL=ignoredups to your ~/.bashrc