chiark / gitweb /
extras/keymap: Fix crash for unknown keys
[elogind.git] / extras / keymap / check-keymaps.sh
index dc46f595311c4513fe6aa04e17f5726891ef5458..15e8ef8c1ebe03c62e1dd981f4d9c62a5043616b 100755 (executable)
@@ -17,8 +17,11 @@ missing=$(join -v 2 <(awk '{print tolower(substr($1,5))}' $KEYLIST | sort -u) <(
 }
 
 # check that all maps referred to in $RULES exist
-maps=$(sed -rn '/keymap \$name/ { s/^.*\$name ([^"]+).*$/\1/; p }' $RULES)
+maps=$(sed -rn '/keymap \$name/ { s/^.*\$name ([^"[:space:]]+).*$/\1/; p }' $RULES)
 for m in $maps; do
+    # ignore inline mappings
+    [ "$m" = "${m#0x}" ] || continue
+
     [ -e keymaps/$m ] || {
        echo "ERROR: unknown map name in $RULES: $m" >&2
        exit 1