bashrc: remove duplicate history entries