From 9da373b089cd6a918295c2f66419884364eb0b05 Mon Sep 17 00:00:00 2001
From: Thamaraiselvam <thamaraiselvam@live.com>
Date: Sat, 24 Oct 2020 17:59:25 +0530
Subject: [PATCH] direnv: add page (#4392)

---
 pages/common/direnv.md | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 pages/common/direnv.md

diff --git a/pages/common/direnv.md b/pages/common/direnv.md
new file mode 100644
index 000000000..a7d8b1c2f
--- /dev/null
+++ b/pages/common/direnv.md
@@ -0,0 +1,24 @@
+# direnv
+
+> Shell extension to load and unload environment variables depending on the current directory.
+> More information: <https://github.com/direnv/direnv>.
+
+- Grant direnv permission to load the specified .envrc:
+
+`direnv allow`
+
+- Revoke the authorization of a given .envrc:
+
+`direnv deny`
+
+- Edit the `.envrc` file in the default text editor and reload the environment on exit:
+
+`direnv allow`
+
+- Trigger a reload of the environment:
+
+`direnv reload`
+
+- Print some debug status information:
+
+`direnv status`