bashrc: history duplicates tweak