From d93457ad3097ed6f78e6c8b4862f98b81ede5205 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Mon, 31 Oct 2022 10:16:06 +0100
Subject: nix: remove as dev in the personal repo is much better

---
 shellrc.d/nix | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 shellrc.d/nix

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