Download:
child 143:8bf724bad83b
parent 141:61eb02ffa9d3
142:41d0a4c7376a
Anton Shestakov <av6@dwimlabs.net>, Sat, 16 Jul 2016 21:07:54 +0800
checker: print requested linters without duplicates Also, some linters could come preinstalled (compiled, as distro packages), so they don't necessarily need to be installed.

1 файлов изменено, 5 вставок(+), 2 удалений(-) [+]
checker.py file | annotate | diff | comparison | revisions
--- a/checker.py Sat Jul 16 19:05:11 2016 +0800
+++ b/checker.py Sat Jul 16 21:07:54 2016 +0800
@@ -176,8 +176,11 @@
print('# C&O task: setup')
- to_install = [l['name'] for l in config.get('linters', []) if 'name' in l]
- print('# C&O linters to install: {}'.format(' '.join(to_install)))
+ requested = []
+ for linter in config.get('linters', []):
+ if 'name' in linter and linter['name'] not in requested:
+ requested.append(linter['name'])
+ print('# C&O linters requested: {}'.format(' '.join(requested)))
linter_config = {}