From d53d80cb4b2241630a9e49682a6b7929f99775d3 Mon Sep 17 00:00:00 2001 From: Elijah Gregg Date: Mon, 1 Mar 2021 09:52:36 -0700 Subject: [PATCH] Replace special characters with their HTML equivalents --- webify-gemini.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/webify-gemini.sh b/webify-gemini.sh index 87acd59..72ccd86 100755 --- a/webify-gemini.sh +++ b/webify-gemini.sh @@ -156,6 +156,10 @@ do bullist=0 # Whether or not a bulleted list was just formed } { + # Replace special characters with their HTML equivalents + gsub(//, "\\>") + gsub(/=>/, "=>") # If the line is ```, toggle preformatted text if ($1 == "```") { # The next four lines check if the previous line was part of a