Add prevention of double entries in bash history