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. - Lint checks and 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 below.
- 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)
This project is inspired by the design for Tricorder. This is how Googlers get their static analysis results in code review (Critique). https://github.com/google/shipshape is an old, abandoned attempt to open-source Tricorder. It is also inspired by https://github.com/github/super-linter.
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 |
- Non-hermetic: requires that a swift toolchain is installed on the machine. See https://github.com/bazelbuild/rules_swift#1-install-swift
To add a linter, please follow the steps in lint/README.md and then send us a PR. Thanks!!
We'll add documentation on adding formatters as well.
Formatting and Linting work a bit differently.
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. |
This leads to some minor differences in how they are used in rules_lint.
We treat 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.
- We think most developers want "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.
Follow instructions from the release you wish to use: https://github.com/aspect-build/rules_lint/releases
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, by running bazel run //:format [changed file ...]
.
See Formatting for more ways to use the formatter, such as a pre-commit hook or a CI check.
To lint code, we recommend using the Aspect CLI to get the missing lint
command.
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, such as running as a test target, or presenting results as code review comments.
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.
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.