~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
andreijiroh.dev
zensical
mkdocs-material
website
1#!/usr/bin/env bash
2
3PRIVATE_SSH_KEY=${PRIVATE_SSH_KEY:-"/run/secrets/passwordless"}
4SOURCEHUT_USERNAME=${SOURCEHUT_PAGES_SUBDOMAIN:-"ajhalili2006"}
5SOURCEHUT_PAGES_TOKEN=${SOURCEHUT_PAGES_TOKEN}
6GEMINI_CUSTOM_DOMAIN=${GEMINI_CUSTOM_DOMAIN:-"gemini.andreijiroh.eu.org"}
7
8if [[ $SOURCEHUT_PAGES_TOKEN == "" ]]; then
9 echo "missing SOURCEHUT_PAGES_TOKEN variable"
10 exit 1
11fi
12
13mkdir "gmi/api"
14git rev-parse HEAD > "gmi/api/commit"
15tar -C gmi -cvz . -f gemini-site.tar.gz
16
17curl --oauth2-bearer "$SOURCEHUT_PAGES_TOKEN" \
18 -Fcontent=@gemini-site.tar.gz \
19 -Fprotocol=GEMINI \
20 "https://pages.sr.ht/publish/${SOURCEHUT_USERNAME}.srht.site"
21curl --oauth2-bearer "$SOURCEHUT_PAGES_TOKEN" \
22 -Fcontent=@gemini-site.tar.gz \
23 -Fprotocol=GEMINI \
24 "https://pages.sr.ht/publish/${GEMINI_CUSTOM_DOMAIN}"
25
26rsync -rP -e "ssh -i ${PRIVATE_SSH_KEY} -o StrictHostKeyChecking=no" gmi/ ajhalili2006@p.projectsegfau.lt:/home/ajhalili2006/public_gemini
27rsync -rP -e "ssh -i ${PRIVATE_SSH_KEY} -o StrictHostKeyChecking=no" gmi/ ajhalili2006@s1.dimension.sh:/home/ajhalili2006/public_gemini