Add .envrc to allow direnv to pick up paths (#1059)

This PR adds a `.envrc` file to the root of the project, that adds `./bin/` and `./scripts/bin` to `$PATH`. If you have direnv installed this makes `hermit` work and the `infra` script accessible.
NomicFoundation · Aug 3, 2024 · 3dc076f · 3dc076f
1 parent 21b0bec
commit 3dc076f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.envrc b/.envrc
@@ -0,0 +1,3 @@
+# Used by `direnv` to initialize the hermit environment: https://direnv.net/
+
+source bin/activate-hermit