# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1322727521 -3600
# Node ID 7364a3399187de9a7acfc29c63793b2fea0cc0a8
# Parent  db85a076d8aea7090b7378300a932b3779643ba1
do not save history to avoid cross-shell history

diff -r db85a076d8ae -r 7364a3399187 zshrc
--- a/zshrc	Wed Nov 30 10:05:42 2011 +0100
+++ b/zshrc	Thu Dec 01 09:18:41 2011 +0100
@@ -41,6 +41,9 @@
     echo "${clean_path}"
 }
 
+# no history handling for now ... or find a better way to save history per shell not across all shells
+export HISTFILE=
+
 # $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 }'`