ignore duplicates in bash and ssh history