comparison 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
comparison
equal deleted inserted replaced
8:db85a076d8ae 9:7364a3399187
39 fi 39 fi
40 done 40 done
41 echo "${clean_path}" 41 echo "${clean_path}"
42 } 42 }
43 43
44 # no history handling for now ... or find a better way to save history per shell not across all shells
45 export HISTFILE=
46
44 # $HOST can either be just the host name or the FQDN. Standardize on the raw host name 47 # $HOST can either be just the host name or the FQDN. Standardize on the raw host name
45 export HOST=`echo $HOST | awk -F '.' '{ print $1 }'` 48 export HOST=`echo $HOST | awk -F '.' '{ print $1 }'`
46 49
47 # include a zshrc per OS type 50 # include a zshrc per OS type
48 local os_zshrc=$HOME/.zsh-env/zshrc-$OSTYPE 51 local os_zshrc=$HOME/.zsh-env/zshrc-$OSTYPE