From a5f00fee8a4cac15730979f1d03f7178b8436896 Mon Sep 17 00:00:00 2001 From: Dirk Zimoch Date: Mon, 29 Jun 2026 11:05:25 +0200 Subject: [PATCH] zensical errors --- .gitea/workflows/deploy-pages.yml | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/.gitea/workflows/deploy-pages.yml b/.gitea/workflows/deploy-pages.yml index 50428b5..caa07b2 100644 --- a/.gitea/workflows/deploy-pages.yml +++ b/.gitea/workflows/deploy-pages.yml @@ -17,8 +17,13 @@ jobs: - name: Build page run: | + set +x sed -i 's|repo_url[[:space:]]*=[[:space:]]*".*"|repo_url = "${{ github.server_url }}/${{ github.repository }}"|' zensical.toml - /opt/python-env/bin/zensical build + /opt/python-env/bin/zensical --version + # As long as we use ages old zensical version 0.0.11, + # error return does not work. Do our own: + #/opt/python-env/bin/zensical build + ! /opt/python-env/bin/zensical build 2>&1 | tee /dev/stderr | grep -q '^Error:' - name: Configure Git run: | @@ -34,4 +39,5 @@ jobs: git commit -m "Update site - $(date)" REPO_URL=$(echo "${{ github.server_url }}/${{ github.repository }}.git" | sed 's|https://||') git push -f https://${{ secrets.GITHUB_TOKEN }}@$REPO_URL gitea-pages - + echo "Your page shoule be available now at" + echo "https://${{ github.repository }}.pages.psi.ch"