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 .
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: working gmid 2023-06-27 13:47:08 +08:00			`pkill -HUP gmid`