From 2b700728bd41bc00437e9b7d9ce6cff6d128aceb Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@zweili.ch>
Date: Mon, 11 Mar 2024 15:39:59 +0100
Subject: [PATCH] Remove dev stop task

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

diff --git a/dev.sh b/dev.sh
index 6629bf7..4afeccd 100755
--- a/dev.sh
+++ b/dev.sh
@@ -72,12 +72,6 @@ tasks["run"]=run
 descriptions["start"]="Alias for run."
 tasks["start"]=run
 
-stop() {
-    process-compose down
-}
-descriptions["stop"]="Stop the webserver and DB."
-tasks["stop"]=stop
-
 build-container() {
     nix build && docker load <result && docker run --rm -ti network-inventory:latest
 }