diff options
author | Thomas Voss <mail@thomasvoss.com> | 2023-05-24 01:16:29 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2023-05-24 01:16:29 +0200 |
commit | 4e7535fd73d232a51629fc33f65a61754a155b22 (patch) | |
tree | acce114d59f1679d8f08a4c96ed180b8027c632a /scripts |
Genesis commit
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/colspan.sed | 10 | ||||
-rw-r--r-- | scripts/getcls.awk | 16 | ||||
-rwxr-xr-x | scripts/last-of-design.sed | 19 | ||||
-rwxr-xr-x | scripts/xfsub | 3 |
4 files changed, 48 insertions, 0 deletions
diff --git a/scripts/colspan.sed b/scripts/colspan.sed new file mode 100755 index 0000000..ef6077b --- /dev/null +++ b/scripts/colspan.sed @@ -0,0 +1,10 @@ +#!/bin/sed -f + +/colspan=X.*colspan=X.*colspan=X.*colspan=X/ s/colspan=X/colspan=3/g +/colspan=X.*colspan=X.*colspan=X/ s/colspan=X/colspan=4/g +/colspan=X.*colspan=X/ s/colspan=X/colspan=6/g +/colspan=X/ s/colspan=X/colspan=12/g + +/colspan=Y.*colspan=Y.*colspan=Y/ s/colspan=Y/colspan=2/g +/colspan=Y.*colspan=Y/ s/colspan=Y/colspan=3/g +/colspan=Y/ s/colspan=Y/colspan=6/g diff --git a/scripts/getcls.awk b/scripts/getcls.awk new file mode 100644 index 0000000..5bf3219 --- /dev/null +++ b/scripts/getcls.awk @@ -0,0 +1,16 @@ +function getcls(c) +{ + if (c == "-") + return "missing" + if (c == "X") + return "have" + if (c == "*") + return "nifc" + if (c == "O") + return "have-nifc" + if (c == "?") + return "unknown" + if (c == "/") + return "not-minted" + return "error" +} diff --git a/scripts/last-of-design.sed b/scripts/last-of-design.sed new file mode 100755 index 0000000..8e6c5a4 --- /dev/null +++ b/scripts/last-of-design.sed @@ -0,0 +1,19 @@ +#!/bin/sed -Enf + +/<trX>/! { + p + d +} + +N + +/<tr class=new-design>|MARKER LOL/ { + s/<trX>/<tr class=last-of-design>/ + s/MARKER LOL// + p + d +} + +s/<trX>/<tr>/ +P +D diff --git a/scripts/xfsub b/scripts/xfsub new file mode 100755 index 0000000..cab652a --- /dev/null +++ b/scripts/xfsub @@ -0,0 +1,3 @@ +#!/bin/sh + +fsub "$1" "$2" "$3" | sponge "$3" |