# HG changeset patch # User Dirk Olmes # Date 1323408243 -3600 # Node ID f6fdf0fe99c3567804e8840a48451ae3f1e119f2 # Parent 13e0030ddaad6e2307c8e356ad6595c2d780b0fb do not warn when doing rm * diff -r 13e0030ddaad -r f6fdf0fe99c3 zshrc --- a/zshrc Tue Dec 06 15:43:46 2011 +0100 +++ b/zshrc Fri Dec 09 06:24:03 2011 +0100 @@ -28,10 +28,11 @@ setopt nohup setopt no_check_jobs +# ignore duplicates in history setopt hist_ignore_all_dups -# $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 }'` +# get rid of the silly "zsh: sure you want to delete all the files in ..." message +unsetopt normstarsilent # utility function that is used by various other modules removeFromPath() { @@ -53,6 +54,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