Run linters and formatters under Bazel
This ruleset integrates linting and formatting as first-class concepts under Bazel.
Features:
- No changes needed to rulesets. Works with the Bazel rules you already use.
- No changes needed to BUILD files. You don't need to add lint wrapper macros, and lint doesn't appear in
bazel query
output. Instead, users simply lint their existing*_library
targets. - Incremental. Lint checks (including producing fixes) are run as normal Bazel actions, which means they support Remote Execution and the outputs are stored in the Remote Cache.
- Lint results can be presented in various ways, such as Code Review comments or failing tests. See Usage.
- Can lint changes only. It's fine if your repository has a lot of existing issues. It's not necessary to fix or suppress all of them to start linting new changes.
- Can format files not known to Bazel. Formatting just runs directly on the file tree.
No need to create
sh_library
targets for your shell scripts, for example. - Honors the same configuration files you use for these tools outside Bazel (e.g. in the editor)
Supported tools
New tools are being added frequently, so check this page again!
Language | Formatter | Linter(s) |
---|---|---|
C / C++ | clang-format | (#112) |
CSS | Prettier | |
Go | gofmt or gofumpt | golangci-lint |
HCL (Hashicorp Config) | terraform fmt | |
HTML | Prettier | |
JSON | Prettier | |
Java | google-java-format | pmd |
JavaScript | Prettier | ESLint |
Jsonnet | jsonnetfmt | |
Kotlin | ktfmt | |
Markdown | Prettier | Vale |
Protocol Buffer | buf | buf lint |
Python | ruff | flake8, ruff |
SQL | prettier-plugin-sql | |
Scala | scalafmt | |
Shell | shfmt | shellcheck |
Starlark | Buildifier | |
Swift | SwiftFormat (1) | |
TSX | Prettier | ESLint |
TypeScript | Prettier | ESLint |
YAML | yamlfmt |
- Non-hermetic: requires that a swift toolchain is installed on the machine. See https://github.com/bazelbuild/rules_swift#1-install-swift
Installation
Follow instructions from the release you wish to use: https://github.com/aspect-build/rules_lint/releases
Usage
Formatting and Linting are inherently different, which leads to differences in how they are used in rules_lint.
Formatter | Linter |
---|---|
Only one per language, since they could conflict with each other. | Many per language is fine; results compose. |
Invariant: program's behavior is never changed. | Suggested fixes may change behavior. |
Developer has no choices. Always blindly accept result. | Fix may be manual, or select from multiple auto-fixes. |
Changes must be applied. | Violations can be suppressed. |
Operates on a single file at a time. | Can require the dependency graph. |
Can always format just changed files / regions | New violations might be introduced in unchanged files. |
Fast enough to put in a pre-commit workflow. | Some are slow. |
Format
To format files, run the target you create when you install rules_lint.
We recommend using a Git pre-commit hook to format changed files, and Aspect Workflows to provide the check on CI.
See Formatting for more ways to use the formatter.
Lint
To lint code, we recommend using the Aspect CLI to get the missing lint
command, and Aspect Workflows to provide first-class support for "linters as code reviewers".
For example, running bazel lint //src:all
prints lint warnings to the terminal for all targets in the //src
package:
See Linting for more ways to use the linter.
Ignoring files
The linters only visit files that are part of the Bazel dependency graph (listed as srcs
to some library target).
The formatter honors the .gitignore
file.
Otherwise use the affordance provided by the tool, for example .prettierignore
for files to be ignored by Prettier.
Sometimes engineers want to ignore a file with a certain extension because the content isn't actually valid syntax for the corresponding language.
For example, you might write a template for YAML and name it my-template.yaml
even though it needs to have some interpolated values inserted before it's syntactically valid.
We recommend instead fixing the file extension. In this example, my.yaml.tmpl
or my-template.yaml_
might be better.
Using with your editor
We believe that existing editor plugins should just work as-is. They may download or bundle their own copy of the tools, which can lead to some version skew in lint/format rules.
For formatting, we believe it's a waste of time to configure these in the editor, because developers should just rely on formatting happening when they commit and not care what the code looks like before that point. But we're not trying to stop anyone, either!
You could probably configure the editor to always run the same Bazel command, any time a file is changed. Instructions to do this are out-of-scope for this repo, particularly since they have to be formulated and updated for so many editors.
FAQ
What about type-checking?
We consider type-checkers as a build tool, not as a linter. This is for a few reasons:
- They are commonly distributed along with compilers. In compiled languages like Java, types are required in order for the compiler to emit executable bytecode at all. In interpreted languages they're still often linked, e.g. TypeScript does both "compiling" to JavaScript and also type-checking. This suggests that rules for a language should include the type-checker, e.g. we expect Sorbet to be integrated with rules_ruby and mypy/pyright to be integrated with rules_python or Aspect's rules_py.
- We think most developers want "build error" semantics for type-checks: the whole repository should successfully type-check or you cannot commit the change. rules_lint is optimized for "warning" semantics, where we produce report files and it's up to the Dev Infra team how to present those, for example only on changed files.
- You can only type-check a library if its dependencies were checkable, which means short-circuiting execution. rules_lint currently runs linters on every node in the dependency graph, including any whose dependencies have lint warnings.