comparison: .zshrc
.zshrc
- changeset 244
- 721455edd12b
- parent 243
- 9315299c4adc
- child 265
- d61dda282847
equal
deleted
inserted
replaced
| 243:9315299c4adc | 244:721455edd12b |
|---|---|
| 36 fi | 36 fi |
| 37 | 37 |
| 38 # User configuration | 38 # User configuration |
| 39 path=("$HOME/bin" "$path[@]") | 39 path=("$HOME/bin" "$path[@]") |
| 40 | 40 |
| 41 REPORTTIME=5 | |
| 42 | |
| 43 setopt list_packed | |
| 44 setopt correct | |
| 45 setopt hist_reduce_blanks | |
| 46 setopt hist_save_no_dups | |
| 47 | |
| 48 export HISTIGNORE="ls:cd:cd -:pwd:exit:date:* --help" | |
| 49 | |
| 41 source ~/.profile.common | 50 source ~/.profile.common |
| 42 | 51 |
| 43 for ENVTHING in $envthings; do | 52 for ENVTHING in $envthings; do |
| 44 if [ -d ~/.$ENVTHING ]; then | 53 if [ -d ~/.$ENVTHING ]; then |
| 45 path=( ~/.$ENVTHING/bin "$path[@]" ) | 54 path=( ~/.$ENVTHING/bin "$path[@]" ) |
