diff options
| author | tv <tv@nomic.retiolum> | 2013-11-06 21:57:10 +0100 |
|---|---|---|
| committer | tv <tv@nomic.retiolum> | 2013-11-06 21:57:10 +0100 |
| commit | a0507027720aee72f1f10cbc2f7504a9960ed465 (patch) | |
| tree | 943e0d9559533cde8a40b1b339ce1c8e249ccb22 /util/bin/jbo | |
| parent | d9b56ed3a1e1bb8a585c26301a979f1f2993a0eb (diff) | |
util jbo: properly apply subscripts
Diffstat (limited to 'util/bin/jbo')
| -rwxr-xr-x | util/bin/jbo | 19 |
1 files changed, 7 insertions, 12 deletions
diff --git a/util/bin/jbo b/util/bin/jbo index 78408d4f..76f86680 100755 --- a/util/bin/jbo +++ b/util/bin/jbo @@ -17,20 +17,15 @@ tr 'h' "'" | jbofihe -H | tr '\n' ' ' | sed -r ' - s@</?(HTML|HEAD|TITLE|BODY|FONT)[^>]*>@@g s@Lojban translation@@ - - s|<SUB>1</SUB>|₁|g - s|<SUB>2</SUB>|₂|g - s|<SUB>3</SUB>|₃|g - s|<SUB>4</SUB>|₄|g - s|<SUB>5</SUB>|₅|g - s|<SUB>6</SUB>|₆|g - s|<SUB>7</SUB>|₇|g - s|<SUB>8</SUB>|₈|g - s|<SUB>9</SUB>|₉|g - +' | { + sed 's:<SUB>[^>]*</SUB>:\n&\n:g' | + sed '/^<SUB>/y/0123456789/₀₁₂₃₄₅₆₇₈₉/' | + tr -d '\n' | + sed 's:</\?SUB>::g' +} | +sed -r ' s|<B>|[32m|g; s|</B>|[m|g s|<I> </I>|<I>_</I>|g |