Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

"Linting profiles" for e.g. embedded development #13519

Open
workingjubilee opened this issue Oct 8, 2024 · 0 comments
Open

"Linting profiles" for e.g. embedded development #13519

workingjubilee opened this issue Oct 8, 2024 · 0 comments
Labels
C-an-interesting-project Category: Interesting projects, that usually are more involved design/code wise.

Comments

@workingjubilee
Copy link
Member

Description

It's fiddly to configure a ton of defaults. It would be nice if clippy, possibly in coordination with the rest of the toolchain, supported some way to specify a "linting profile" so that lints that will want to have an obviously different value for a specific kind of development, like embedded software where memory is precious, could simply set one toggle and then clippy's lints would be tuned for such target specifics.

Version

No response

Additional Labels

@rustbot label: +C-an-interesting-project
@rustbot rustbot added the C-an-interesting-project Category: Interesting projects, that usually are more involved design/code wise. label Oct 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-an-interesting-project Category: Interesting projects, that usually are more involved design/code wise.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@workingjubilee @rustbot