Merge remote-tracking branch 'github/master'

2025-12-30 14:34:23 +01:00 · 2024-03-13 16:48:27 +00:00
parent c0979d1707 4a802ac0f4
commit f88b6d1dd4
1 changed files with 3 additions and 0 deletions
--- a/.envrc
+++ b/.envrc
@@ -1,4 +1,7 @@
+
+if [[ "$OSTYPE" == "linux-gnu"* ]]; then
 use nix
+fi

 export PATH=$PATH:$HOME/.cargo/bin
 export JB55=32e1827635450ebb3c5a7d12c1f8e7b2b514439ac10a67eef3d9fd9c5c68e245