From a3ea785cf514523155582fd6b9c68e2bc06cd836 Mon Sep 17 00:00:00 2001
From: Michael Klemm <michael.klemm@intel.com>
Date: Fri, 22 May 2020 18:29:52 +0200
Subject: [PATCH] direnv: check if direnv is installed (#8809)

---
 plugins/direnv/direnv.plugin.zsh | 3 +++
 1 file changed, 3 insertions(+)

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)";