treewide: leverage direnv to automatically enter developer shell

Leverage direnv [1] to automatically enter the developer shell upon entering the project directory after running 'direnv allow'. [1]: https://direnv.net Link: danth#519 (cherry picked from commit 6ef37ca)
trueNAHO · Jan 4, 2025 · 2f6e9da · 2f6e9da
1 parent 6416490
commit 2f6e9da
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/.envrc b/.envrc
@@ -0,0 +1 @@
+use flake
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
+/.direnv/
 result
 result-*
diff --git a/docs/src/development_environment.md b/docs/src/development_environment.md
@@ -5,3 +5,10 @@ To enter the developer shell, run:
 ```console
 nix develop
 ```
+
+To automatically enter the developer shell upon entering the project directory
+with [`direnv`](https://direnv.net), run:
+
+```console
+direnv allow
+```