Update instruction to write nix command to .local-envrc instead of the

tracked one
apalache-mc · Mar 8, 2024 · 70d6603 · 70d6603
1 parent 162028b
commit 70d6603
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -206,11 +206,11 @@ $ nix develop
 #### Loading nix dependencies with direnv
 
 If you want to use direnv to setup your environment with nix (instead of using a
-shell), you will need to add `use flake;` to your `.envrc`, and then running
-`direnv allow`:
+shell), you will need to add `use flake;` to your `.local-envrc`, and then
+running `direnv allow`:
 
 ```sh
-echo "use flake;" >> .envrc && direnv allow
+echo "use flake;" >> .local-envrc && direnv allow
 ```
 
 You can also add a `direnv` extension/package to your IDE of choice to have