make .envrc fast for everyone

2023-09-21 18:29:34 +02:00 · 2023-09-21 18:29:34 +02:00 · 62ad4bcd67
commit 62ad4bcd67
parent 17520e2553
1 changed files with 4 additions and 0 deletions
--- a/.envrc
+++ b/.envrc
@ -1 +1,5 @@
+if ! has nix_direnv_version || ! nix_direnv_version 2.3.0; then
+  source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/2.3.0/direnvrc" "sha256-Dmd+j63L84wuzgyjITIfSxSD57Tx7v51DMxVZOsiUD8="
+fi
+
 use flake