aboutsummaryrefslogtreecommitdiff
path: root/pkgs/dev
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/dev')
-rwxr-xr-xpkgs/dev/dev.sh7
1 files changed, 5 insertions, 2 deletions
diff --git a/pkgs/dev/dev.sh b/pkgs/dev/dev.sh
index 2d71c41..924b39b 100755
--- a/pkgs/dev/dev.sh
+++ b/pkgs/dev/dev.sh
@@ -1,15 +1,18 @@
#!/usr/bin/env bash
set -eu
-target="$1"
+target="${1:-}"
shift
+declare -a nixargs
known_shells="$(tr ':' '\n' <<<"${DEV_SHELLS:-}")"
while IFS='=' read name drv res; do
if [ "$target" == "$name" ]; then
target="$drv"
+ # Note: we do not need substituters as this should be build
+ nixargs+=("--no-substitute")
break
fi
done <<<"$known_shells"
-exec nix develop "$target" -c zsh "$@"
+exec nix "${nixargs[@]}" develop "$target" -c zsh "$@"