diff options
| author | Paul Buetow <git@mx.buetow.org> | 2021-05-01 19:14:32 +0100 |
|---|---|---|
| committer | Paul Buetow <git@mx.buetow.org> | 2021-05-01 19:14:32 +0100 |
| commit | 965425b3a95885bf07d47afffe0ca553de3432f6 (patch) | |
| tree | c4f187e8b6c1bbb37f0fa6013c63997cfa53781b /buetow.org.sh | |
| parent | bdc30c8f94e1384206c7f1141918622d501af26f (diff) | |
fix < and > in pre
Diffstat (limited to 'buetow.org.sh')
| -rwxr-xr-x | buetow.org.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buetow.org.sh b/buetow.org.sh index b0cfe58f..ad6d5a6e 100755 --- a/buetow.org.sh +++ b/buetow.org.sh @@ -193,7 +193,7 @@ html::gemini2html () { if [[ "$line" == '```'* ]]; then local -i plain_end=$(( line_nr - 1 )) # Use sed, as escaping \ in bash strings is hell! - sed -n "${plain_start},${plain_end} { s|<|<|g; s|>|>|g; p; }" $gmi_file + sed -n "${plain_start},${plain_end} { s|<|\\<|g; s|>|\\>|g; p; }" $gmi_file echo "</pre>" is_plain=0 fi |