From 21fec8ff15bb10066718dba3767d03ab6854281c Mon Sep 17 00:00:00 2001 From: Dan Wendorf Date: Fri, 8 Dec 2017 10:07:48 -0800 Subject: [PATCH 1/2] 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)" From d77c3b1dab326e64c88890a650d69b13200ed033 Mon Sep 17 00:00:00 2001 From: Nils Winkler Date: Mon, 11 Dec 2017 08:43:53 +0100 Subject: [PATCH 2/2] Update direnv.plugin.bash Added link to direnv web site. --- plugins/available/direnv.plugin.bash | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/available/direnv.plugin.bash b/plugins/available/direnv.plugin.bash index 0f2886b1..5fd564f5 100644 --- a/plugins/available/direnv.plugin.bash +++ b/plugins/available/direnv.plugin.bash @@ -1,4 +1,4 @@ cite about-plugin -about-plugin 'load direnv, if you are using it' +about-plugin 'load direnv, if you are using it: https://direnv.net/' [ -x "$(which direnv)" ] && eval "$(direnv hook bash)"