From 21fec8ff15bb10066718dba3767d03ab6854281c Mon Sep 17 00:00:00 2001
From: Dan Wendorf <dan.wendorf@opendoor.com>
Date: Fri, 8 Dec 2017 10:07:48 -0800
Subject: [PATCH] Add direnv plugin

See https://direnv.net/
---
 plugins/available/direnv.plugin.bash | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 plugins/available/direnv.plugin.bash

diff --git a/plugins/available/direnv.plugin.bash b/plugins/available/direnv.plugin.bash
new file mode 100644
index 00000000..0f2886b1
--- /dev/null
+++ b/plugins/available/direnv.plugin.bash
@@ -0,0 +1,4 @@
+cite about-plugin
+about-plugin 'load direnv, if you are using it'
+
+[ -x "$(which direnv)" ] && eval "$(direnv hook bash)"