lint: doc: detail lint tool install methods

Installing tools in the dockerfile using `COPY --from` is better , but
not all tools we use publish an OCI image to a non-docker.io registry.

As we are frequently rate-limited from docker.io, only install tools
which publish to another registry, e.g. ghcr.io.
This commit is contained in:
will
2026-03-14 09:58:13 +00:00
parent 5fefa5a654
commit 2424e52836

View File

@@ -56,7 +56,7 @@ or `--help`:
| `py_lint` | [ruff](https://github.com/astral-sh/ruff)
| markdown link check | [mlc](https://github.com/becheran/mlc)
In use versions and install instructions are available in the [CI setup](../../ci/lint/01_install.sh).
Dependency versions and installation instructions are available in the [CI setup](../../ci/lint/01_install.sh) and the [lint_imagefile](../../ci/lint_imagefile) (for tools where an OCI imagefile exists).
Please be aware that on Linux distributions all dependencies are usually available as packages, but could be outdated.