[utils] use nix develop in utils/shell.sh if available

shish · Feb 5, 2023 · 042f0ae · 042f0ae
1 parent 995efc8
commit 042f0ae
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/utils/shell.sh b/utils/shell.sh
@@ -4,7 +4,13 @@ set -eu
 cd $(dirname $0)
 cd ..
 
-if command -v nix-shell; then
+if nix develop --help 2>/dev/null 1>/dev/null; then
+    if [ -n "$*" ]; then
+        nix develop . --command bash -c "$*"
+    else
+        nix develop .
+    fi
+elif command -v nix-shell; then
     if [ -n "$*" ]; then
         nix-shell --run "$*"
     else