andreijiroh-dev/website
1
0
Fork 0
mirror of https://mau.dev/andreijiroh-dev/website.git synced 2025-05-08 14:43:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

chore(global): some CI script fix for Gemini deployments

Browse source 
Also added some scripts to Pipfile and minimal update to FAQ page.

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
This commit is contained in:
Andrei Jiroh Halili 2023-10-01 08:33:49 +08:00
parent beb0d74b0d
commit c88c2e5519
No known key found for this signature in database
GPG key ID: 67BFC91B3DA12BE8
5 changed files with 32 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
bin/deploykit-gmi.sh
View file

@ -11,7 +11,7 @@ fi
mkdir "gmi/api"
git rev-parse HEAD > "gmi/api/commit"
tar -C gmi -cvz . -f site.tar.gz
tar -C gmi -cvz . -f gemini-site.tar.gz
curl --oauth2-bearer "$SOURCEHUT_PAGES_TOKEN" \
-Fcontent=@site.tar.gz \
@ -20,4 +20,4 @@ curl --oauth2-bearer "$SOURCEHUT_PAGES_TOKEN" \
curl --oauth2-bearer "$SOURCEHUT_PAGES_TOKEN" \
-Fcontent=@site.tar.gz \
-Fprotocol=GEMINI \
"https://pages.sr.ht/publish/${GEMINI_CUSTOM_DOMAIN}"
"https://pages.sr.ht/publish/${GEMINI_CUSTOM_DOMAIN}"

15
bin/setup-remotes.sh Normal file
View file

@ -0,0 +1,15 @@
#!/usr/bin/env bash
# URL prefixes for updating remote URLs
JETBRAINS_SPACE_REPO="git.jetbrains.space/ajhalili2006/web/andreijiroh.dev.git"
SOURCEHUT_GIT_REPO="git.sr.ht/~ajhalili2006/web"
GITHUB_REPO="github.com/ajhalili2006/ajhalili2006.github.io"
GITLAB_REPO="mau.dev/andreijiroh.dev/website"
useHttps() {
}
useSsh() {
}