about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2021-02-13 00:50:13 +0100
committerMatthias Krüger <matthias.krueger@famsik.de>2021-02-13 01:28:00 +0100
commitfedfbb901157fd20bbd9ef01d4a67f1603833239 (patch)
treef4f9b51173084c519ce074656b9924eb54d2b9fc
parent5bbb1bc20a24ad64ab7a70d002ee95c5ce9d6f8a (diff)
downloadrust-fedfbb901157fd20bbd9ef01d4a67f1603833239.tar.gz
rust-fedfbb901157fd20bbd9ef01d4a67f1603833239.zip
lintcheck: explain sources.toml configuration
-rw-r--r--clippy_dev/README.md23
1 files changed, 23 insertions, 0 deletions
diff --git a/clippy_dev/README.md b/clippy_dev/README.md
index a09365fadc4..c02257afe12 100644
--- a/clippy_dev/README.md
+++ b/clippy_dev/README.md
@@ -26,3 +26,26 @@ where `custom.toml` must be a relative path from the repo root.
 
 The results will then be saved to `lintcheck-logs/custom_logs.toml`.
 
+### configuring the crate sources
+The sources to check are saved in a `toml` file.  
+There are three types of sources.  
+A crates-io source:
+````toml
+bitflags = {name = "bitflags", versions = ['1.2.1']}
+````
+Requires a "name" and one or multiple "versions" to be checked.
+
+A git source:
+````toml
+puffin = {name = "puffin", git_url = "https://github.com/EmbarkStudios/puffin", git_hash = "02dd4a3"}
+````
+Requires a name, the url to the repo and unique identifier of a commit,
+branch or tag which is checked out before linting.  
+There is no way to always check `HEAD` because that would lead to changing lint-results as the repo would get updated.  
+If `git_url` or `git_hash` is missing, an error will be thrown.
+
+A local dependency:
+````toml
+ clippy = {name = "clippy", path = "/home/user/clippy"}
+````
+For when you want to add a repository that is not published yet.