Andreas/gotty
1
0
Fork 0
mirror of https://github.com/yudai/gotty.git synced 2026-03-07 22:22:34 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix options help in README.md in-place

Browse source
This commit is contained in:
Søren L. Hansen 2021-04-25 08:28:08 -07:00
parent faeb610961
commit b8e97d7a3c
4 changed files with 11 additions and 247 deletions
Download patch file Download diff file Expand all files Collapse all files

12
README.md.sed
View file

@ -1,8 +1,6 @@
/@OPTIONS@/ {
r options.txt.tmp
d
}
/@CONTRIBUTORS@/ {
r contributors.txt.tmp
d
/^## Options/,/^### Config File/ {
/^\(`\|#\)/!d # Delete any line not beginning with ` or #
/```sh/ { # Shove options.txt.tmp in after ```sh
r options.txt.tmp
}
}