andreijiroh-dev/website
1
0
Fork 0
mirror of https://mau.dev/andreijiroh-dev/website.git synced 2025-06-07 13:09:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

docs(global): add and update content + mkdocs config

Browse source
This commit is contained in:
Andrei Jiroh Halili 2023-02-20 00:28:57 +08:00 • committed by GitHub
parent d6103e62c7
commit 303db1f7f8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 55 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

31
.build.yml
View file

@ -18,6 +18,7 @@ tasks:
# in case of triggered from hottub
- repo-sync: |
cd tildeweb
env # for debugging purposes only
git remote add hub https://github.com/ajhalili2006/tildeverse-web && git pull hub main
git remote add lab https://mau.dev/ajhalili2006/tildeverse-web && git pull lab main
@ -35,20 +36,20 @@ tasks:
- generate-archive: |
cd tildeweb
tar cvzf tildeweb-prod-build.tar.gz public public_ctrl-c public_pages.dev
- deploy: |
if [ "$BUILD_REASON" == "patchset" ] && [ "$BUILD_SUBMITTER" == "hub.sr.ht" ]; then
complete-build
fi
cd tildeweb
echo "StrictHostKeyChecking=no" >> ~/.ssh/config
eval $(ssh-agent) && ssh-add ~/.ssh/passwordless-auth-sshfs
rsync -rP public ajhalili2006@vern.cc:/home/ajhalili2006/public_html/
rsync -rP public_ctrl-c ajhalili2006@ctrl-c.club:/home/ajhalili2006/public_html/
#rsync -rP gmi ajhalili2006@vern.cc:/home/ajhalili2006/public_gemini/
#rsync -rP gmi ajhalili2006@ctrl-c.club:/home/ajhalili2006/public_gemini/
git push origin -o skip-ci
git remote set-url lab ssh://git@mau.dev/ajhalili2006/tildeverse-web && git push lab main
#- deploy: |
# if [ "$BUILD_REASON" == "patchset" ] && [ "$BUILD_SUBMITTER" == "hub.sr.ht" ]; then
# complete-build
# fi
#
# cd tildeweb
# echo "StrictHostKeyChecking=no" >> ~/.ssh/config
# eval $(ssh-agent) && ssh-add ~/.ssh/passwordless-auth-sshfs
# rsync -rP public ajhalili2006@vern.cc:/home/ajhalili2006/public_html/
# rsync -rP public_ctrl-c ajhalili2006@ctrl-c.club:/home/ajhalili2006/public_html/
# #rsync -rP gmi ajhalili2006@vern.cc:/home/ajhalili2006/public_gemini/
# #rsync -rP gmi ajhalili2006@ctrl-c.club:/home/ajhalili2006/public_gemini/
#
# git push origin -o skip-ci
# git remote set-url lab ssh://git@mau.dev/ajhalili2006/tildeverse-web && git push lab main
artifacts:
- tildeweb/tildeweb-prod-build.tar.gz