ignore and erase duplicates in bash history