diff options
| author | Karel Kočí <cynerd@email.cz> | 2022-10-31 15:55:40 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2022-10-31 15:59:16 +0100 |
| commit | c5a4325596fbb71e75f4f945db5ab70881b43357 (patch) | |
| tree | 7c4a7c1caad0ef6b5457179978eec47d383a69f0 /pkgs/dev/dev.sh | |
| parent | bd45b922601eeb7b5d15f9e51ed7e855a690a281 (diff) | |
| download | nixos-personal-c5a4325596fbb71e75f4f945db5ab70881b43357.tar.gz nixos-personal-c5a4325596fbb71e75f4f945db5ab70881b43357.tar.bz2 nixos-personal-c5a4325596fbb71e75f4f945db5ab70881b43357.zip | |
pkgs: add dev
Diffstat (limited to 'pkgs/dev/dev.sh')
| -rwxr-xr-x | pkgs/dev/dev.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/pkgs/dev/dev.sh b/pkgs/dev/dev.sh new file mode 100755 index 0000000..f88224a --- /dev/null +++ b/pkgs/dev/dev.sh @@ -0,0 +1,15 @@ +#!/usr/bin/env bash +set -eu + +target="$1" +shift + +known_shells="$(tr ':' '\n' <<<"${DEV_SHELLS:-}")" +while IFS='=' read name val; do + if [ "$target" == "$name" ]; then + target="$DEV_FLAKE#$name" + break + fi +done <<<"$known_shells" + +exec nix develop "$target" -c zsh "$@" |