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 [ `hostname -d` = ethz.ch ]; then
   8     hash -d local=/pub/debian-local
   9     hash -d configs=/pub/debian-local/configs
  10     hash -d lenny=/pub/debian-local/configs/lenny
  11     hash -d SERVER=/pub/debian-local/configs/lenny/SERVER
  12     hash -d SITE=/pub/debian-local/configs/lenny/SITE
  13     hash -d etch=/pub/debian-local/configs/etch
  14 fi
  15
  16