diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh index 23c546d..57f1d2b 100755 --- a/autodeploy/setup.sh +++ b/autodeploy/setup.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -xeuo pipefail +set -euo pipefail SCRIPT_PATH=$(dirname "$0") @@ -34,14 +34,6 @@ echo "pixi install" "$GITHUB_WORKSPACE/pixi" install --all --no-progress -"$GITHUB_WORKSPACE/pixi" list -ldd .pixi/envs/default/bin/python - -# create .pyc files to speed up first run -"$GITHUB_WORKSPACE/pixi" run python -c 'print("python ran once")' || true -"$GITHUB_WORKSPACE/pixi" run ipython -c 'print("ipython ran once")' || true - - #echo "copy owner group from level above" #group=$(stat -c '%g' ..) #echo "=> group ID: $group"