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-27 21:30:53 +08:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
303de342f1
mirror.dongdigua.github.io
/
patches
/
txt.sh
9 lines
90 B
Bash
Raw
Normal View
History
Unescape
Escape
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
..
NEW PGP KEY! shorten postamble
2023-04-07 15:45:27 +08:00
ln -s pgp pgp.txt
Reference in New Issue
Copy Permalink