diff options
Diffstat (limited to 'pkgs/dev/dev.sh')
| -rwxr-xr-x | pkgs/dev/dev.sh | 7 |
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 "$@" |