dongdigua/mirror.dongdigua.github.io
1
0
Fork 0
mirror of https://github.com/dongdigua/dongdigua.github.io synced 2024-11-28 01:40:54 +08:00
Code Issues Packages Projects Releases Wiki Activity
fd7bbba5ae
mirror.dongdigua.github.io/patches/gmi.sh

5 lines
81 B
Bash
Raw Normal View History

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
lol.diff
2023-01-17 11:33:38 +08:00
ln -s lol.diff lol.diff.txt
Reference in New Issue Copy Permalink