diff options
author | Karel Kočí <cynerd@email.cz> | 2022-11-02 11:52:15 +0100 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2022-11-02 11:52:15 +0100 |
commit | 6d36062fcd49fff7ca6f7dc9b4a40d2fcb48725e (patch) | |
tree | e5c147c81b5fe5881aa4b2dcdd7a849299587d65 /pkgs/dev/dev.sh | |
parent | 576d9f3a20322f6e0ca67675f5578f01ec73271b (diff) | |
download | nixos-personal-6d36062fcd49fff7ca6f7dc9b4a40d2fcb48725e.tar.gz nixos-personal-6d36062fcd49fff7ca6f7dc9b4a40d2fcb48725e.tar.bz2 nixos-personal-6d36062fcd49fff7ca6f7dc9b4a40d2fcb48725e.zip |
pkgs/dev: use DRV instead of Nix sources
This should make evaluation faster.
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" |