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-21 05:11:04 +0100 |
| commit | 689d9f201e13ce386ffaa1a161908263bcd16b95 (patch) | |
| tree | fc1e2f239cbdb962d9bd7637e8886d2a84cd1cd1 /buetow.org.sh | |
| parent | 2a0f3afe20d5b6eaae9eed4d01393a70fa2abc39 (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 |