From 0d5e13b2606ec4c99872dfe3b5cc949c9dea41e1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Tue, 15 Nov 2022 14:57:50 +0100
Subject: pkgs/dev: fix invalid target for known target

---
 pkgs/dev/dev.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"
-- 
cgit v1.2.3