Exclude external userspace from lint checking (#24680)

This commit is contained in:
Joel Challis 2025-04-11 13:19:02 +01:00 committed by GitHub
parent 6624671a60
commit e27dd0f26f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 9 additions and 4 deletions

View file

@ -26,7 +26,7 @@ def _list_defaultish_keymaps(kb):
defaultish.extend(INVALID_KM_NAMES)
keymaps = set()
for x in list_keymaps(kb):
for x in list_keymaps(kb, include_userspace=False):
if x in defaultish or x.startswith('default'):
keymaps.add(x)