Bash: ignoring duplicates