From cbe6065e46359b53856492f704a778501423b347 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Fri, 22 Sep 2023 20:35:23 +0200
Subject: [PATCH] Make (un)installation less interactive/verbose

---
 tools/publish-release | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/publish-release b/tools/publish-release
index 238b044df..0ac1c1dbe 100755
--- a/tools/publish-release
+++ b/tools/publish-release
@@ -114,7 +114,7 @@ cat >"$web_root_dir/install" <<-EOF
 	else wget --quiet "\$url"
 	fi
 	chmod +x "\$installer"
-	./\$installer
+	./\$installer --nox11
 	cd "\$OLDPWD"
 EOF
 cat >"$web_root_dir/uninstall" <<-EOF
@@ -125,7 +125,7 @@ cat >"$web_root_dir/uninstall" <<-EOF
 	if [ -e '/run/systemd/system' ] &&
 	    systemctl list-unit-files \$rel_name.service >'/dev/null' 2>&1
 	then
-	    systemctl --now disable \$rel_name
+	    systemctl --quiet --now disable \$rel_name
 	    rm -f /etc/systemd/system/\$rel_name.service
 	fi
 	rm -rf "/opt/\$rel_name"