~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

Update some scripts and then some

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@gmail.com>

Changed files
+11 -2
bin
+10 -2
README.md
···
built with Mkdocs + [Material theme](https://go.andreijiroh.eu.org/mkdocs-material) by [~squidfunk](https://go.andreijiroh.eu.org/squidfunk).
(Sources for Gemini version of the website is available at `gmi` directory.)
+
## Mirrors
+
+
Canonically developed at [mau.dev](https://mau.dev/ajhalili2006/tildeverse-web.git) where the deployments happen, with the following mirrors being maintained:
+
+
* GitHub: <https://github.com/ajhalili2006/ajhalili2006.github.io.git>, where Docker image builds happen
+
* Jetbrains Space (personal): <https://ajhalili2006.jetbrains.space/p/web/repositories/andreijiroh.dev/files/README.md>
+
## Development
```bash
# clone the repo
# pick one on the clone URLs
glab repo clone https://mau.dev/ajhalili2006/tildeverse-web
-
gh repo clone ajhalili2006/tildeverse-web
+
gh repo clone ajhalili2006/ajhalili2006.github.com
git clone git@git.sr.ht:~ajhalili2006/tildeweb
# maybe do this on a feature branch
···
git stage . && git commit --signoff
# send patches via GitLab or GitHub through the CLI
+
glab auth login --host "https://mau.dev" # authenticate CLI
glab -R https://mau.dev/ajhalili2006/tildeverse-web mr create --allow-collaboration -b main
gh -R ajhalili2006/tildeverse-web pr create # might automatically closes PR due to mirror status
# or via my public inbox on sourcehut
# see https://git-send-email.io for setup and guide
-
git config sendemail.to "~ajhalili2006/public-inbox@lists.sr.ht"
+
git config sendemail.to "~ajhalili2006/public-inbox@lists.sr.ht" # NOT my personal email
git config format.subjectPrefix "PATCH tildeweb" # identification in archives + builds.sr.ht
git config --global sendemail.annotate yes
git config --global format.signOff true # needed for compliance with Linux DCO
+1
bin/deploykit-pages.sh
···
if [[ ! -d "$_root_directory_git/public" ]]; then
bash "$_root_directory_git/bin/build.sh"
+
cp markdown/.well-known public/ -rv
fi
if [[ $FF_DIRTY_DEPLOY == "true" ]]; then