diff options
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 |