diff options
| author | Karel Kočí <cynerd@email.cz> | 2022-10-31 10:16:06 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2022-10-31 10:16:06 +0100 |
| commit | d93457ad3097ed6f78e6c8b4862f98b81ede5205 (patch) | |
| tree | 423bad29797f71407b14f175b4eab7b9d2255af4 | |
| parent | 9eb1eabfb13c3a88b0a6fd4832bd76c4ba5a1159 (diff) | |
| download | shellrc-d93457ad3097ed6f78e6c8b4862f98b81ede5205.tar.gz shellrc-d93457ad3097ed6f78e6c8b4862f98b81ede5205.tar.bz2 shellrc-d93457ad3097ed6f78e6c8b4862f98b81ede5205.zip | |
nix: remove as dev in the personal repo is much better
| -rw-r--r-- | shellrc.d/nix | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/shellrc.d/nix b/shellrc.d/nix deleted file mode 100644 index bf26cd5..0000000 --- a/shellrc.d/nix +++ /dev/null @@ -1,21 +0,0 @@ -# vim: ft=sh: -if command -v nix >/dev/null; then - -dev() { - local target="$1" - local flake dev - if [[ "${target#*"#"}" != "$target" ]]; then - IFS='#' read flake dev <<<"$target" - else - if [ -e "$target" ]; then - flake="$target" - dev="default" - else - flake="personal" - dev="${target:-default}" - fi - fi - nix develop "$flake#$dev" -c zsh -} - -fi |