# HG changeset patch
# User wolffd <wolffd.mail@googlemail.com>
# Date 1528133238 -3600
# Node ID 1936b1b33a38e8d67c897faa35361402a45b2343
# Parent  f75c7bc1d3c16bd0806519217b7838be161a4c20
no dry

diff -r f75c7bc1d3c1 -r 1936b1b33a38 etc/setup_as_root.sh
--- a/etc/setup_as_root.sh	Mon Jun 04 18:25:58 2018 +0100
+++ b/etc/setup_as_root.sh	Mon Jun 04 18:27:18 2018 +0100
@@ -5,12 +5,12 @@
 SWI_GUI=no
 SETUP_X=yes
 HEADLESS=yes
-DRY_RUN=yes
+DRY_RUN=no
 
-if [ $# -gt 0 ]; then
-	echo "Setting DRY_RUN to $1" 1>&2
-	DRY_RUN=$1
-fi
+#if [ $# -gt 0 ]; then
+#	echo "Setting DRY_RUN to $1" 1>&2
+#	DRY_RUN=$1
+#fi
 
 # If DRY_RUN=yes, then this script will do nothing, but will output the commands
 # it would have done to stdout.