This commit is contained in:
2026-06-18 21:41:09 +02:00
parent e3ae90f3d9
commit 2b711f8edf
+6 -8
View File
@@ -44,15 +44,13 @@ fi
echo "pixi install"
"$GITHUB_WORKSPACE/pixi" install --all --no-progress
echo "copy owner group from level above"
group=$(stat -c '%g' ..)
echo "=> group ID: $group"
chgrp -R "$group" .pixi
#echo "copy owner group from level above"
#group=$(stat -c '%g' ..)
#echo "=> group ID: $group"
#chgrp -R "$group" .pixi
echo "copy permissions from owner to owner group"
chmod -R g=u .pixi
rm -rf "$DESTINATION_DIR"
#echo "copy permissions from owner to owner group"
#chmod -R g=u .pixi
#echo "symlinking $PWD/.pixi/envs $PWD/../../envs"
#"$SCRIPT_PATH/symlink.sh" "$PWD/.pixi/envs" "$PWD/../../envs"