# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1322643936 -3600
# Node ID 4263bbc594fe45efa145ce67ec6c999c3fbc1cdf
# Parent  2cd74a85976ad99d3300eac709846a84c6144079
re-declare $HOST to be hostname only

diff -r 2cd74a85976a -r 4263bbc594fe zshrc
--- a/zshrc	Tue Nov 29 10:32:54 2011 +0100
+++ b/zshrc	Wed Nov 30 10:05:36 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