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

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

ls gmi | xargs -I {} ln -s gmi/{} {}.txt
some build system fix - [BUG] `html-body-id-filter` will cause toc not work - collections add tag to mitigate bug above - `ln -s` use CI script instead of in repo 2022-12-14 19:59:15 +08:00			`#! /bin/sh`

			`ls gmi \| xargs -I {} ln -s gmi/{} {}.txt`