setting pushd_ignore_dups.
-rw-r--r-- 3394 .hgtags
drwxr-xr-x - debian
drwxr-xr-x - etc