comparison zshrc @ 13:f6fdf0fe99c3

do not warn when doing rm *
author Dirk Olmes <dirk@xanthippe.ping.de>
date Fri, 09 Dec 2011 06:24:03 +0100
parents 13e0030ddaad
children f5c6324fc952
comparison
equal deleted inserted replaced
12:13e0030ddaad 13:f6fdf0fe99c3
26 26
27 # emulate tcsh's behaviour for forked processes: do not warn, do not kill when shell is closed 27 # emulate tcsh's behaviour for forked processes: do not warn, do not kill when shell is closed
28 setopt nohup 28 setopt nohup
29 setopt no_check_jobs 29 setopt no_check_jobs
30 30
31 # ignore duplicates in history
31 setopt hist_ignore_all_dups 32 setopt hist_ignore_all_dups
32 33
33 # $HOST can either be just the host name or the FQDN. Standardize on the raw host name 34 # get rid of the silly "zsh: sure you want to delete all the files in ..." message
34 export HOST=`echo $HOST | awk -F '.' '{ print $1 }'` 35 unsetopt normstarsilent
35 36
36 # utility function that is used by various other modules 37 # utility function that is used by various other modules
37 removeFromPath() { 38 removeFromPath() {
38 search_term="$1" 39 search_term="$1"
39 split_path=(${(s/:/)PATH}) 40 split_path=(${(s/:/)PATH})
51 fi 52 fi
52 done 53 done
53 echo "${clean_path}" 54 echo "${clean_path}"
54 } 55 }
55 56
57 # $HOST can either be just the host name or the FQDN. Standardize on the raw host name
58 export HOST=`echo $HOST | awk -F '.' '{ print $1 }'`
59
56 # include a zshrc per OS type 60 # include a zshrc per OS type
57 local os_zshrc=$HOME/.zsh-env/zshrc-$OSTYPE 61 local os_zshrc=$HOME/.zsh-env/zshrc-$OSTYPE
58 if [ -f ${os_zshrc} ]; then 62 if [ -f ${os_zshrc} ]; then
59 . ${os_zshrc} 63 . ${os_zshrc}
60 fi 64 fi