From e6697680f6618ac790e080665f10ba36ba20e1c3 Mon Sep 17 00:00:00 2001
From: Caspar van Leeuwen <casparl@tcn1.local.snellius.surf.nl>
Date: Mon, 7 Oct 2024 23:36:18 +0200
Subject: [PATCH] Escaping % is done with %%

---
 bot/check-test.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bot/check-test.sh b/bot/check-test.sh
index cb426f7468..1f66514bb2 100755
--- a/bot/check-test.sh
+++ b/bot/check-test.sh
@@ -79,13 +79,13 @@ else
     GP_success_full='(?s)\[----------\] start processing checks.*?\[==========\] Finished on [a-zA-Z0-9 ]*'
     # Replace null character with <br/>
     # Replace new line characters with <br/>
-    # Replace % with \%. Use \\% to interpret \ as character, instead of escape character
+    # Replace % with %%. Use \%\% to interpret both %% as (non-special) characters
     grep_reframe_success_full=$( \
         grep -v "^>> searching for " ${job_dir}/${job_out} | \
         grep -Pzo "${GP_success_full}" | \
         sed 's/\x00/<br\/>/g' |
         sed ':a;N;$!ba;s/\n/<br\/>/g' |
-        sed 's/\%/\\%/g' \
+        sed 's/\%/\%\%/g' \
     )
     grep_reframe_result=${grep_reframe_success_full}
     echo "grep_reframe_success_full: ${grep_reframe_success_full}"