zsh.d/55-hash

   1 # -*- sh -*-
   2
   3 if [ "$HOST" = wiggis -o "$HOST" = phd-imap ]; then
   4     hash -d imap=/var/imap/a/abe
   5 fi
   6
   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     hash -d SERVER=/pub/debian-local/configs/lenny/SERVER
  12     hash -d SITE=/pub/debian-local/configs/lenny/SITE
  13     # All our current and probably future distributions
  14     hash -d etch=/pub/debian-local/configs/etch
  15     hash -d lenny=/pub/debian-local/configs/lenny
  16     hash -d squeeze=/pub/debian-local/configs/squeeze
  17     hash -d karmic=/pub/debian-local/configs/karmic
  18     hash -d lucid=/pub/debian-local/configs/lucid
  19     hash -d maverick=/pub/debian-local/configs/maverick
  20 fi
  21
  22 if [ -d /usr/share/doc/debian-policy ]; then
  23     hash -d policy=/usr/share/doc/debian-policy
  24 fi
  25
  26 if [ -d /usr/share/doc/developers-reference ]; then
  27     hash -d reference=/usr/share/doc/developers-reference
  28 fi