dev #7

Merged
JoeKung merged 19 commits from dev into int 2026-02-12 15:26:38 +01:00
Showing only changes of commit 7b92e63a49 - Show all commits

View File

@@ -139,11 +139,8 @@ jobs:
DB_PASS="${{ secrets.DB_PASSWORD_DEV }}" DB_PASS="${{ secrets.DB_PASSWORD_DEV }}"
fi fi
cat > /tmp/pc.env <<EOF printf 'DB_URL=%s\nDB_USERNAME=%s\nDB_PASSWORD=%s\n' \
DB_URL=${DB_URL} "$DB_URL" "$DB_USER" "$DB_PASS" > /tmp/pc.env
DB_USERNAME=${DB_USER}
DB_PASSWORD=${DB_PASS}
EOF
ssh -i ~/.ssh/id_ed25519 -o BatchMode=yes "${{ secrets.SERVER_USER }}@${{ secrets.SERVER_HOST }}" \ ssh -i ~/.ssh/id_ed25519 -o BatchMode=yes "${{ secrets.SERVER_USER }}@${{ secrets.SERVER_HOST }}" \
"setenv ${{ env.ENV }}" < /tmp/pc.env "setenv ${{ env.ENV }}" < /tmp/pc.env