Do not output huge spew of "Package '*' is not installed, so not removed"

2023-04-09 10:06:27 +02:00 · 2023-04-09 10:06:27 +02:00 · f2def41efa
commit f2def41efa
parent a55394f109
1 changed files with 1 additions and 1 deletions
--- 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