Merge pull request #1108 from wendorf/direnv-plugin

Add direnv plugin
2017-12-11 08:44:06 +01:00
parent 748abc8d63 d77c3b1dab
commit 4021bbcfb1
1 changed files with 4 additions and 0 deletions
--- a/plugins/available/direnv.plugin.bash
+++ b/plugins/available/direnv.plugin.bash
@@ -0,0 +1,4 @@
+cite about-plugin
+about-plugin 'load direnv, if you are using it: https://direnv.net/'
+
+[ -x "$(which direnv)" ] && eval "$(direnv hook bash)"