This website requires JavaScript.
Explore
Help
Register
Sign In
dongdigua
/
mirror.dongdigua.github.io
Watch
1
Star
0
Fork
0
You've already forked mirror.dongdigua.github.io
mirror of
https://github.com/dongdigua/dongdigua.github.io
synced
2024-11-30 23:30:53 +08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
f100d70bbb
mirror.dongdigua.github.io
/
patches
/
gmi.sh
5 lines
81 B
Bash
Raw
Normal View
History
Unescape
Escape
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