From 7af539d0ab1cbcb504eed2a3dd9f8d251187afb6 Mon Sep 17 00:00:00 2001 From: Sven Augustin Date: Thu, 18 Jun 2026 10:13:25 +0200 Subject: [PATCH] use gid instead of group name --- autodeploy/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh index 00393e7..f7ea8ac 100755 --- a/autodeploy/setup.sh +++ b/autodeploy/setup.sh @@ -38,7 +38,7 @@ cd "$DESTINATION_DIR" "$GITHUB_WORKSPACE/pixi" install --all # copy owner group from level above -group=$(stat -c '%G' ..) +group=$(stat -c '%g' ..) chgrp -R "$group" . # copy permissions from owner to owner group