From 1995178b5b0a1b466d7831b578d74597c1fdac3c Mon Sep 17 00:00:00 2001
From: Darren Tucker <dtucker@dtucker.net>
Date: Fri, 8 Mar 2024 13:17:24 +1100
Subject: [PATCH] XXX show id for debugging

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

diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh
index 658803457229..6d0da53527c6 100755
--- a/.github/setup_ci.sh
+++ b/.github/setup_ci.sh
@@ -272,6 +272,7 @@ if [ ! -z "${INSTALL_PUTTY}" ]; then
 fi
 
 if [ "${TARGET}" = "tcsh" ]; then
+	id
 	echo "Setting $(whoami) login shell to /usr/bin/tcsh"
 	sudo chsh -s /usr/bin/tcsh $(whoami)
 	grep $(whoami) /etc/passwd