~ajhalili2006's personal website, built with Zensical (successor of Material for Mkdocs) [old repo name got bugged while attempting to do manual knot migration via repo deletion] andreijiroh.dev
zensical mkdocs-material website

ci(builds.sr.ht): deploy gemini content via sourcehut builds instead

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>

+9 -4
.build.yml
···
FF_ENABLE_COMMIT_DATA: "true"
FF_GENERATE_SOCIAL_CARDS: "true"
#SKIP_VENV_SETUP: "true"
+
oauth: "meta.sr.ht/PROFILE pages.sr.ht/SITES:RW pages.sr.ht/PAGES:RW pages.sr.ht/PROFILE"
packages:
- openssh-client
- rsync
···
- generate-archive: |
cd web
tar -C build -cvz . -f tildeweb-prod-build.tar.gz
-
- deploy: |
+
- deploy-html: |
cd web
echo "StrictHostKeyChecking=no" >> ~/.ssh/config
-
rsync -rP -e 'ssh -i ~/.ssh/passwordless-auth-sshfs' build/p.psf.lt ajhalili2006@p.projectsegfau.lt:/home/ajhalili2006/public_html
-
rsync -rP -e 'ssh -i ~/.ssh/passwordless-auth-sshfs' build/ctrl-c.club ajhalili2006@ctrl-c.club:/home/ajhalili2006/public_html
-
rsync -rP -e 'ssh -i ~/.ssh/passwordless-auth-sshfs' build/dimension.sh ajhalili2006@s1.dimension.sh:/home/ajhalili2006/public_html
+
rsync -rP -e 'ssh -i ~/.ssh/passwordless-auth-sshfs' build/p.psf.lt/ ajhalili2006@p.projectsegfau.lt:/home/ajhalili2006/public_html/
+
rsync -rP -e 'ssh -i ~/.ssh/passwordless-auth-sshfs' build/ctrl-c.club/ ajhalili2006@ctrl-c.club:/home/ajhalili2006/public_html/
+
rsync -rP -e 'ssh -i ~/.ssh/passwordless-auth-sshfs' build/dimension.sh/ ajhalili2006@s1.dimension.sh:/home/ajhalili2006/public_html/
+
- deploy-gemini:
+
cd web
+
set +x
+
SOURCEHUT_PAGES_TOKEN=${OAUTH2_TOKEN} PRIVATE_SSH_KEY=~/.ssh/passwordless-auth-sshfs ./bin/deploy-gmi.sh
artifacts:
- web/tildeweb-prod-build.tar.gz
+1 -1
.gitlab-ci.yml
···
# This ensures that only pushes to the default branch will trigger
# a pages deploy
- if: $CI_COMMIT_REF_NAME == $CI_DEFAULT_BRANCH
-
pages:srht:
+
.pages:srht:
stage: build
needs:
- pages
+5 -3
bin/deploykit-gmi.sh
···
#!/usr/bin/env bash
-
set -xe
+
PRIVATE_SSH_KEY=${PRIVATE_SSH_KEY:-"/run/secrets/passwordless"}
SOURCEHUT_USERNAME=${SOURCEHUT_PAGES_SUBDOMAIN:-"ajhalili2006"}
+
SOURCEHUT_PAGES_TOKEN=${SOURCEHUT_PAGES_TOKEN}
GEMINI_CUSTOM_DOMAIN=${GEMINI_CUSTOM_DOMAIN:-"gemini.andreijiroh.eu.org"}
if [[ $SOURCEHUT_PAGES_TOKEN == "" ]]; then
···
-Fcontent=@gemini-site.tar.gz \
-Fprotocol=GEMINI \
"https://pages.sr.ht/publish/${GEMINI_CUSTOM_DOMAIN}"
-
rsync -rP -e 'ssh -i /run/secrets/passwordless' gmi/ ajhalili2006@p.projectsegfau.lt:/home/ajhalili2006/public_gemini
-
rsync -rP -e 'ssh -i /run/secrets/passwordless' gmi/ ajhalili2006@s1.dimension.sh:/home/ajhalili2006/public_gemini
+
+
rsync -rP -e "ssh -i ${PRIVATE_SSH_KEY} -o StrictHostKeyChecking=no" gmi/ ajhalili2006@p.projectsegfau.lt:/home/ajhalili2006/public_gemini
+
rsync -rP -e "ssh -i ${PRIVATE_SSH_KEY} -o StrictHostKeyChecking=no" gmi/ ajhalili2006@s1.dimension.sh:/home/ajhalili2006/public_gemini