make check-translations.sh accept escaped percent sign

This commit is contained in:
B. Petersen 2021-09-21 01:55:43 +02:00
parent fe113cb520
commit 96b38e60b5
No known key found for this signature in database
GPG key ID: 3B88E92DEA8E9AFC

View file

@ -2,7 +2,8 @@ echo potential errors, if any:
# a space after the percent sign # a space after the percent sign
# results in an IllegalFormatException in getString() # 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 '\$ ' .
grep --include='strings.xml' -r ' \$' . grep --include='strings.xml' -r ' \$' .