diff zshrc @ 8:db85a076d8ae

Automated merge with https://xanthippe/hg/zsh-env
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 30 Nov 2011 10:05:42 +0100
parents ff5e785e7bf7 4263bbc594fe
children 7364a3399187
line wrap: on
line diff
--- a/zshrc	Wed Nov 30 03:52:47 2011 +0100
+++ b/zshrc	Wed Nov 30 10:05:42 2011 +0100
@@ -41,6 +41,9 @@
     echo "${clean_path}"
 }
 
+# $HOST can either be just the host name or the FQDN. Standardize on the raw host name
+export HOST=`echo $HOST | awk -F '.' '{ print $1 }'`
+
 # include a zshrc per OS type
 local os_zshrc=$HOME/.zsh-env/zshrc-$OSTYPE
 if [ -f ${os_zshrc} ]; then