Don't create duplicates in bash history
Fixes #3