diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-10-09 14:41:45 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-09 14:41:45 +0100 |
commit | f40a84857bb2e02b5dab696743b0557f891c08ab (patch) | |
tree | 6100a5a21e266af139ade86f89bf110df119eac4 /zsh | |
parent | 5da52ab9a86179163b79ed2f335a3a7bfc4bb18b (diff) | |
download | dotfiles-f40a84857bb2e02b5dab696743b0557f891c08ab.tar.gz dotfiles-f40a84857bb2e02b5dab696743b0557f891c08ab.zip |
Add opam configuration
Diffstat (limited to 'zsh')
-rw-r--r-- | zsh/.zshrc | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -38,3 +38,6 @@ bindkey '^[[A' history-substring-search-up bindkey '^[[B' history-substring-search-down bindkey -M emacs '^P' history-substring-search-up bindkey -M emacs '^N' history-substring-search-down + +# opam configuration +test -r /home/yannherklotz/.opam/opam-init/init.zsh && . /home/yannherklotz/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true |