From 3711e509323b11ebf24f8379c018c9fd30458a8b Mon Sep 17 00:00:00 2001 From: cel Date: Tue, 19 May 2020 21:04:40 -0400 Subject: Escape HTML --- gemini.filter.dpi | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/gemini.filter.dpi b/gemini.filter.dpi index 17e5c5a..2fc7d64 100755 --- a/gemini.filter.dpi +++ b/gemini.filter.dpi @@ -27,6 +27,12 @@ render_gemini() { then ansi2html else cat fi | awk ' + function escape_html(str) { + gsub(/&/, "\\&", str) + gsub(//, "\\>", str) + return str + } BEGIN { print "