From c42f0af622ed32059f226b9cdc9093944c4da2fb Mon Sep 17 00:00:00 2001
From: Darren Tucker <dtucker@dtucker.net>
Date: Mon, 30 Oct 2023 14:06:55 +1100
Subject: [PATCH] Retest sudo if we fiddle directory perms.

---
 .github/setup_ci.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh
index de10857d8800..33d8762b2721 100755
--- a/.github/setup_ci.sh
+++ b/.github/setup_ci.sh
@@ -39,8 +39,11 @@ 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
+	ls -ld / `dirname ~` ~
 	echo ~ is not executable by nobody, adding perms.
 	chmod go+x ~
+	echo Retesting sudo -S
+	(cd / && "$SUDO" -u nobody -S id </dev/null)
 fi
 
 if [ "${TARGETS}" = "kitchensink" ]; then