/etc/zsh/zshrc: activate 'setopt pushd_ignore_dups'
-rw-r--r-- 3394 .hgtags
drwxr-xr-x - debian
drwxr-xr-x - etc