diff options
| author | Paul Buetow <git@mx.buetow.org> | 2021-05-01 19:12:40 +0100 |
|---|---|---|
| committer | Paul Buetow <git@mx.buetow.org> | 2021-05-21 05:11:04 +0100 |
| commit | 2a0f3afe20d5b6eaae9eed4d01393a70fa2abc39 (patch) | |
| tree | cd7c8bfd26de4efd48272aac650953b95f6cd80b /buetow.org.sh | |
| parent | 0a002d00e69724e94cbd13146f946788436ce30b (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 4874609d..b0cfe58f 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}p $gmi_file + sed -n "${plain_start},${plain_end} { s|<|<|g; s|>|>|g; p; }" $gmi_file echo "</pre>" is_plain=0 fi |