Bash history: Ignore duplicates

If you execute the same command multiple times in a row, you'll have it multiple times in your bash history. To change that behavior, simply add this to your .bash_profile:

HISTCONTROL=ignoreboth