changeset 7:4263bbc594fe

re-declare $HOST to be hostname only
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 30 Nov 2011 10:05:36 +0100
parents 2cd74a85976a
children db85a076d8ae
files zshrc
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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