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 which domainname > /dev/null; then
   8     if [ "`domainname`" = "phys.ethz.ch" ]; then
   9         hash -d local=/pub/debian-local
  10         hash -d configs=/pub/debian-local/configs
  11         hash -d lenny=/pub/debian-local/configs/lenny
  12         hash -d SERVER=/pub/debian-local/configs/lenny/SERVER
  13         hash -d SITE=/pub/debian-local/configs/lenny/SITE
  14         hash -d etch=/pub/debian-local/configs/etch
  15     fi
  16 fi
  17
  18