mirror.dongdigua.github.io/gmi/docker/update-git.sh

#! /bin/sh

cd /dongdigua.github.io
git pull --rebase >> /var/log/git.log 2>&1
python misc/mdlist2gmi.py > posts.gmi
cp -r gmi/docker/cgi .
rm index.gmi
git checkout -- index.gmi
pkill -HUP gmid
gemini play with docker 2023-05-26 19:21:35 +08:00			`#! /bin/sh`

docker: fix git path, add log 2023-05-29 11:18:04 +08:00			`cd /dongdigua.github.io`
			`git pull --rebase >> /var/log/git.log 2>&1`
full site available on gemini! 2023-06-06 19:59:16 +08:00			`python misc/mdlist2gmi.py > posts.gmi`
docker: fix cgi & sh location, README 2023-06-27 14:18:32 +08:00			`cp -r gmi/docker/cgi .`
docker: apk --no-cache, git checkout 2023-07-09 18:59:02 +08:00			`rm index.gmi`
			`git checkout -- index.gmi`
docker: working gmid 2023-06-27 13:47:08 +08:00			`pkill -HUP gmid`