diff options
| author | Michael Klemm <michael.klemm@intel.com> | 2020-05-22 18:29:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 18:29:52 +0200 |
| commit | a3ea785cf514523155582fd6b9c68e2bc06cd836 (patch) | |
| tree | f355e551aaf2d111327c754f8eb47c2f08dd0367 /plugins | |
| parent | 570729f22147584016ca02e0b979f7b40f9659c5 (diff) | |
| download | zsh-a3ea785cf514523155582fd6b9c68e2bc06cd836.tar.gz zsh-a3ea785cf514523155582fd6b9c68e2bc06cd836.tar.bz2 zsh-a3ea785cf514523155582fd6b9c68e2bc06cd836.zip | |
direnv: check if direnv is installed (#8809)
Diffstat (limited to 'plugins')
| -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)"; |