Ignore duplication when pushing directory list.
Merge branch 'zsh/misc'