Minor fixes.

diff --git a/testing/scripts/setup_desktop.sh b/testing/scripts/setup_desktop.sh
old mode 100644 (file)
new mode 100755 (executable)
index b3e5e11..d739593
--- a/testing/scripts/setup_desktop.sh
+++ b/testing/scripts/setup_desktop.sh
@@ -1,8 +1,9 @@
 #!/bin/sh
 set -e
+set -x
 . ./misc.sh
 
-expect_n_args 1 "(system name)" "$@"
+expect_min_n_args 1 "(system name)" "$@"
 get_system_name_arg "$1"
 
 # Adapt /etc/ to our needs by copying from ./etc_files. This will set