Avoid duplicates in bash history.