From 3dc076f198e6dadd1fe4b437156c202218c367b2 Mon Sep 17 00:00:00 2001 From: Antony Blakey Date: Sat, 3 Aug 2024 20:02:25 +1000 Subject: [PATCH] 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. --- .envrc | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .envrc diff --git a/.envrc b/.envrc new file mode 100644 index 0000000000..4eb6e8dc9d --- /dev/null +++ b/.envrc @@ -0,0 +1,3 @@ +# Used by `direnv` to initialize the hermit environment: https://direnv.net/ + +source bin/activate-hermit