diff options
Diffstat (limited to 'zsh/zshrc')
| -rw-r--r-- | zsh/zshrc | 2 |
1 files changed, 2 insertions, 0 deletions
| @@ -10,6 +10,8 @@ setopt HIST_SAVE_NO_DUPS | |||
| 10 | autoload -U compinit; compinit | 10 | autoload -U compinit; compinit |
| 11 | _comp_options+=(globdots) # With hidden files | 11 | _comp_options+=(globdots) # With hidden files |
| 12 | 12 | ||
| 13 | [[ ! -r ~/.opam/opam-init/init.zsh ]] || source ~/.opam/opam-init/init.zsh >/dev/null 2>&1 | ||
| 14 | |||
| 13 | bindkey -v | 15 | bindkey -v |
| 14 | export KEYTIMEOUT=1 | 16 | export KEYTIMEOUT=1 |
| 15 | 17 | ||
