Added
# Ignore duplicates in bash history