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