diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh index e93a1b3..780fdfc 100755 --- a/autodeploy/setup.sh +++ b/autodeploy/setup.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -euo pipefail +#set -euo pipefail echo "Workspace: $GITHUB_WORKSPACE" @@ -47,7 +47,7 @@ echo "pixi install" echo "copy owner group from level above" group=$(stat -c '%g' ..) echo "=> group ID: $group" -chgrp -R "$group" . || true +chgrp -R "$group" . echo "copy permissions from owner to owner group" chmod -R g=u .