From a46df5d3ff6a038c90b17e488e94e06db4c2f587 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@zweili.ch>
Date: Mon, 11 Mar 2024 15:38:52 +0100
Subject: [PATCH] Remove the dev venv task

---
 dev.sh | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/dev.sh b/dev.sh
index 313116b..6629bf7 100755
--- a/dev.sh
+++ b/dev.sh
@@ -78,12 +78,6 @@ stop() {
 descriptions["stop"]="Stop the webserver and DB."
 tasks["stop"]=stop
 
-venv() {
-    nix build .#venv -o .venv
-}
-descriptions["venv"]="Build a pseudo venv that editors like VS Code can use."
-tasks["venv"]=venv
-
 build-container() {
     nix build && docker load <result && docker run --rm -ti network-inventory:latest
 }