From 330e4363d8abb509031d2c8c1a89dcc6f955e2c1 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Fri, 4 Dec 2020 11:16:25 -0500
Subject: Renamespace Devalloc and Que
Move them under the Biz root so that we know they are specific to Biz stuff. Biz
is for proprietary stuff that we own.
I also had to refactor the bild namespace parsing code because it couldn't
handle a namespace with 3 parts. I really need to get that namespace library
written and tested.
---
Biz/Lint.py | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
(limited to 'Biz/Lint.py')
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)
--
cgit v1.2.3