From f2def41efa93585881bf36033d787ee5d72cc4a5 Mon Sep 17 00:00:00 2001
From: Fierelier <fierelier@gmail.com>
Date: Sun, 9 Apr 2023 10:06:27 +0200
Subject: [PATCH] Do not output huge spew of "Package '*' is not installed, so
 not removed"

---
 mods/dev-remove/data/chroot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mods/dev-remove/data/chroot b/mods/dev-remove/data/chroot
index 1da127a..6001703 100755
--- a/mods/dev-remove/data/chroot
+++ b/mods/dev-remove/data/chroot
@@ -1,4 +1,4 @@
 #!/bin/bash
 set -e
-apt-get -y remove build-essential git pkg-config *-dev
+apt-get -y remove build-essential git pkg-config *-dev >/dev/null
 apt-get -y autoremove