Merge remote-tracking branch 'origin/master' into develop
This commit is contained in:
commit
4d3726050e
1 changed files with 2 additions and 2 deletions
|
@ -317,10 +317,10 @@ def lint(cli):
|
||||||
if isinstance(cli.config.lint.keyboard, str):
|
if isinstance(cli.config.lint.keyboard, str):
|
||||||
# if provided via config - string not array
|
# if provided via config - string not array
|
||||||
keyboard_list = [cli.config.lint.keyboard]
|
keyboard_list = [cli.config.lint.keyboard]
|
||||||
elif is_all_keyboards(cli.args.keyboard[0]):
|
elif any(is_all_keyboards(kb) for kb in cli.args.keyboard):
|
||||||
keyboard_list = list_keyboards()
|
keyboard_list = list_keyboards()
|
||||||
else:
|
else:
|
||||||
keyboard_list = cli.config.lint.keyboard
|
keyboard_list = list(set(cli.config.lint.keyboard))
|
||||||
|
|
||||||
failed = []
|
failed = []
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue