diff options
author | Benno Schulenberg <bensberg@telfort.nl> | 2023-04-06 16:27:46 +0200 |
---|---|---|
committer | Benno Schulenberg <bensberg@telfort.nl> | 2023-04-06 16:28:26 +0200 |
commit | 920d23c0215a19bb6d40f9e4cb53df3321c51ba4 (patch) | |
tree | 41ab7206700f27a51ca4ae9b430b93923bd5df03 /tests | |
parent | 31c0b37de7825109e0b3d5e69fae6b1574172b26 (diff) | |
download | xkeyboard-config-920d23c0215a19bb6d40f9e4cb53df3321c51ba4.tar.gz |
CI: allow "Group1" to be spelt with a lowercase "g"
Also improve a comment, trim a trailing space, and update the legend.
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/genLists4Comparison.sh | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/tests/genLists4Comparison.sh b/tests/genLists4Comparison.sh index 0f41e67..bfee9da 100755 --- a/tests/genLists4Comparison.sh +++ b/tests/genLists4Comparison.sh @@ -1,10 +1,8 @@ #!/bin/sh -# -# This script compares the group names which "have to be", according to the descriptions in base.xml - -# and actually existing in the symbol files. Some differences are ok (like extra double quotes or -# extra escaping character) - but all the rest should be in sync. -# +# This script compares the group names that are mentioned in base*.xml with the ones +# that actually exist in the symbol files. Some differences are okay -- like extra +# quotes or an extra escaping character -- but apart from that they should match. cd $(dirname $0) ROOT=".." @@ -43,14 +41,14 @@ for sym in $ROOT/symbols/*; do isUnregistered = 1; } /^[[:space:]]*\/\//{ - next + next } /.*default.*/{ isDefault = 1; } /xkb_symbols/{ variant = $2; -}/^[[:space:]]*name\[Group1\][[:space:]]*=/{ +}/^[[:space:]]*name\[[Gg]roup1\][[:space:]]*=/{ if (isUnregistered == 1) { isUnregistered = 0; } else if (isDefault == 1) @@ -75,7 +73,7 @@ diff -u $registry_names $group_names rc=$? if [ $rc != 0 ] ; then - echo "Legend: '-' is for rules/base.*xml.in, '+' is for symbols/*" + echo "Legend: '-' is for rules/base*.xml, '+' is for symbols/*" fi rm -f $registry_names $group_names |