XXX show id for debugging

daztucker · Mar 8, 2024 · 1995178 · 1995178
1 parent e8b145a
commit 1995178
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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