diff options
Diffstat (limited to 'pkgs/dev/dev.sh')
| -rwxr-xr-x | pkgs/dev/dev.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/dev/dev.sh b/pkgs/dev/dev.sh index f88224a..23b1fae 100755 --- a/pkgs/dev/dev.sh +++ b/pkgs/dev/dev.sh @@ -5,9 +5,9 @@ target="$1" shift known_shells="$(tr ':' '\n' <<<"${DEV_SHELLS:-}")" -while IFS='=' read name val; do +while IFS='=' read name drv res; do if [ "$target" == "$name" ]; then - target="$DEV_FLAKE#$name" + target="$drv#$name" break fi done <<<"$known_shells" |