diff options
Diffstat (limited to 'Biz/Lint.py')
-rwxr-xr-x | Biz/Lint.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Biz/Lint.py b/Biz/Lint.py index fccda57..fc035cb 100755 --- a/Biz/Lint.py +++ b/Biz/Lint.py @@ -26,7 +26,7 @@ def run(cmd, file): "ormolu": ["--mode", "check"], "hlint": [], "black": ["--quiet", "--check"], - "pylint": [], + "pylint": ["--disable=invalid-name"], } # pylint: disable=subprocess-run-check ret = subprocess.run([cmd, *args[cmd], file], stdout=subprocess.PIPE) @@ -69,6 +69,8 @@ def group_files(files, extensions): def guard_todos(files): + "Fail if TODO found in text" + global ERRORS # pylint: disable=global-statement for fname in files: with open(fname) as text: if "TODO" in text.read(): @@ -92,6 +94,7 @@ if __name__ == "__main__": run("hlint", hs) for py in FILES[".py"]: print(f"lint: {py}") - run("black", py) + # Broken in our nixpkgs + # run("black", py) run("pylint", py) sys.exit(ERRORS) |