fixup

.github/setup_ci.sh

@@ -29,7 +29,7 @@ TARGETS=$@
 INSTALL_FIDO_PPA="no"
 export DEBIAN_FRONTEND=noninteractive
 
-set -ex
+set -e
 
 if [ -x "`which lsb_release 2>&1`" ]; then
 	lsb_release -a
@@ -39,12 +39,16 @@ fi
 # agent-getpeerid test from running ssh-add as nobody.  See
 # https://github.com/actions/runner-images/issues/6106
 if [ ! -z "$SUDO" ] && ! "$SUDO" -u nobody test -x ~; then
-	home=`dirname ~`
-	ls -ld / $home ~
 	echo ~ is not executable by nobody, adding perms.
 	chmod go+x ~
-	echo Retesting sudo -S
+fi
+
+if [ ! -z "$SUDO" ] && ! "$SUDO" -u nobody true; then
+	home=`dirname ~`
+	ls -ld / $home ~
+	echo "Still can't sudo to nobody."
 	("$SUDO" ktrace trace -S -f C3 -c "$SUDO" -u nobody -S id)
+	exit 1
 fi
 
 if [ "${TARGETS}" = "kitchensink" ]; then