clippy-efm-filter
| Crates.io | clippy-efm-filter |
| lib.rs | clippy-efm-filter |
| version | 0.1.0 |
| source | src |
| created_at | 2022-02-19 09:32:05.57679 |
| updated_at | 2022-02-19 09:32:05.57679 |
| description | filters clippy output for a single file |
| homepage | |
| repository | |
| max_upload_size | |
| id | 535105 |
| size | 15,478 |
(Rah837)
documentation
README
Clippy efm filter
cargo clippy works for the whole package,
the efm-langserver expects it to work with a single file
thus, a self-written clippy-efm-filter tool is used
to filter the output of clippy for a specific file.
Probably grep can be used for this, but I don't know how :)