diff options
| author | Martin Pitt <martin.pitt@ubuntu.com> | 2010-01-21 01:09:16 +0100 |
|---|---|---|
| committer | Martin Pitt <martin.pitt@ubuntu.com> | 2010-01-21 01:09:16 +0100 |
| commit | 386aa6ebd810fb87718972e298c71184b73bd210 (patch) | |
| tree | 7e6fb971fa71c958ddec3272f4d161457a2548dc /extras | |
| parent | 9a6741ba2f5ef72c051b11484daabd56213742c0 (diff) | |
extras/keymap/check-keymaps.sh: Ignore comment-only lines
Diffstat (limited to 'extras')
| -rwxr-xr-x | extras/keymap/check-keymaps.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extras/keymap/check-keymaps.sh b/extras/keymap/check-keymaps.sh index 892fcfd6c3..c92246a2cd 100755 --- a/extras/keymap/check-keymaps.sh +++ b/extras/keymap/check-keymaps.sh @@ -13,7 +13,8 @@ RULES=$SRCDIR/extras/keymap/95-keymap.rules exit 1 } -missing=$(join -v 2 <(awk '{print tolower(substr($1,5))}' $KEYLIST | sort -u) <(awk '{print $2}' ${KEYMAPS_DIR}/*|sort -u)) +missing=$(join -v 2 <(awk '{print tolower(substr($1,5))}' $KEYLIST | sort -u) \ + <(grep -hv '^#' ${KEYMAPS_DIR}/*| awk '{print $2}' | sort -u)) [ -z "$missing" ] || { echo "ERROR: unknown key names in extras/keymap/keymaps/*:" >&2 echo "$missing" >&2 |