ignore duplications in shell history