mirror.dongdigua.github.io/patches/txt.sh

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

set -x

cd gmi
ls *.gmi | xargs -I {} ln -s {} {}.txt
cd ..
ln -s lol.diff misc/lol.diff.txt
ln -s pgp pgp.txt
obsd: tetris, songs, MC puff icon 2023-02-18 20:58:53 +08:00			`#! /bin/sh`

full site available on gemini! 2023-06-06 19:59:16 +08:00			`set -x`

			`cd gmi`
			`ls *.gmi \| xargs -I {} ln -s {} {}.txt`
			`cd ..`
			`ln -s lol.diff misc/lol.diff.txt`
NEW PGP KEY! shorten postamble 2023-04-07 15:45:27 +08:00			`ln -s pgp pgp.txt`