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

mirror of https://github.com/dongdigua/dongdigua.github.io synced 2024-11-24 08:13:08 +08:00
#! /bin/sh

cd /dongdigua.github.io
git pull --rebase >> /var/log/git.log 2>&1
python misc/mdlist2gmi.py > posts.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: working gmid 2023-06-27 13:47:08 +08:00			`pkill -HUP gmid`