From 96b38e60b5fa0748ce222e7967c729517d2bc4a2 Mon Sep 17 00:00:00 2001
From: "B. Petersen" <r10s@b44t.com>
Date: Tue, 21 Sep 2021 01:55:43 +0200
Subject: [PATCH] make check-translations.sh accept escaped percent sign

---
 scripts/check-translations.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/check-translations.sh b/scripts/check-translations.sh
index cc22fc458..ee90db118 100755
--- a/scripts/check-translations.sh
+++ b/scripts/check-translations.sh
@@ -2,7 +2,8 @@ echo potential errors, if any:
 
 # a space after the percent sign 
 # results in an IllegalFormatException in getString()
-grep --include='strings.xml' -r '\% ' .
+grep --include='strings.xml' -r '\% [12]' .
+grep --include='strings.xml' -r '\%[$]' .
 grep --include='strings.xml' -r '\$ ' .
 grep --include='strings.xml' -r ' \$' .