Remove ci_lint.sh

After the previous commit, it doesn't do much, only passes the linting
exceptions file on the command line. Instead, make the lint.exceptions
file the default for that argument (if it exists), and remove the shell
script.

.github/workflows/checks-main.yml

@@ -25,4 +25,4 @@ jobs:
         run: ./tools/lint/test/run.py
 
       - name: Lint all tests
-        run: ./tools/scripts/ci_lint.sh
+        run: ./tools/lint/lint.py test/

.github/workflows/checks-pr.yml

@@ -39,4 +39,4 @@ jobs:
           for file in $CHANGED; do
             echo $file
           done
-          ./tools/scripts/ci_lint.sh $CHANGED
+          ./tools/lint/lint.py $CHANGED

tools/lint/lint.py

@@ -97,6 +97,10 @@ if __name__ == '__main__':
     if args.exceptions:
         exceptions = lib.exceptions.parse(args.exceptions)
     else:
+        try:
+            with open('lint.exceptions', 'r') as default_exceptions:
+                exceptions = lib.exceptions.parse(default_exceptions)
+        except FileNotFoundError:
             exceptions = dict()
 
     files = [path for _path in args.path for path in collect_files(_path)]

tools/scripts/ci_lint.sh

@@ -1,7 +0,0 @@
-#!/bin/bash
-
-if [ "$#" -eq 0 ]; then
-  set -- test/
-fi
-
-./tools/lint/lint.py --exceptions lint.exceptions $@