diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2020-05-29 11:01:03 -0600 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2020-05-29 11:01:03 -0600 |
| commit | a3be2e4084285d7625e63bfe4b951c58143e3c9c (patch) | |
| tree | a018be4daef44a51b91477f38da514867659c7d6 /plugins/direnv | |
| parent | 191e14cc7f63c4525a0f66d571416faf9e91a185 (diff) | |
| parent | 93cc3964e2d265ab0571298d69d2eed0a65d13f2 (diff) | |
| download | zsh-a3be2e4084285d7625e63bfe4b951c58143e3c9c.tar.gz zsh-a3be2e4084285d7625e63bfe4b951c58143e3c9c.tar.bz2 zsh-a3be2e4084285d7625e63bfe4b951c58143e3c9c.zip | |
Merge branch 'master' of https://github.com/ohmyzsh/ohmyzsh
Diffstat (limited to 'plugins/direnv')
| -rw-r--r-- | plugins/direnv/direnv.plugin.zsh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/direnv/direnv.plugin.zsh b/plugins/direnv/direnv.plugin.zsh index d36c4ae5e..5e32c4c23 100644 --- a/plugins/direnv/direnv.plugin.zsh +++ b/plugins/direnv/direnv.plugin.zsh @@ -1,3 +1,6 @@ +# Don't continue if direnv is not found +command -v direnv &>/dev/null || return + _direnv_hook() { trap -- '' SIGINT; eval "$(direnv export zsh)"; |