# don't put duplicate lines in the history. See bash(1) for more options
export HISTCONTROL=ignoredups