3 if [ -d /var/imap/a/abe ]; then
4 hash -d imap=/var/imap/a/abe
7 if [ "$NISDOMAINNAME" = "phys.ethz.ch" ]; then
8 hash -d local=/pub/debian-local
9 hash -d configs=/pub/debian-local/configs
10 # Default currently: Lenny
11 for d in SITE SERVER SERVER-SKEL; do
12 hash -d $d=/pub/debian-local/configs/lenny/$d
14 # All our current and probably future distributions
15 for d in etch lenny squeeze karmic lucid maverick; do
16 hash -d $d=/pub/debian-local/configs/$d
20 if [ -d /usr/share/doc/debian-policy ]; then
21 hash -d policy=/usr/share/doc/debian-policy
24 if [ -d /usr/share/doc/developers-reference ]; then
25 hash -d reference=/usr/share/doc/developers-reference