diff zshrc @ 9:7364a3399187

do not save history to avoid cross-shell history
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 01 Dec 2011 09:18:41 +0100
parents db85a076d8ae
children 6c4ab833e66d
line wrap: on
line diff
--- 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 }'`