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

Add copy lint name function to Clippy's lint list #7959

Closed
Tracked by #79
xFrednet opened this issue Nov 11, 2021 · 1 comment · Fixed by #8839
Closed
Tracked by #79

Add copy lint name function to Clippy's lint list #7959

xFrednet opened this issue Nov 11, 2021 · 1 comment · Fixed by #8839
Labels
A-website Area: Improving the clippy website C-enhancement Category: Enhancement of lints, like adding more cases or adding help messages good-first-issue These issues are a good way to get started with Clippy

Comments

@xFrednet
Copy link
Member

xFrednet commented Nov 11, 2021 •
edited

I often want to copy the lint name when searching for something on Clippy's lint list. It would be helpful to have a "copy lint name"-button next to the name, similar to the "link"-button that currently exist.

The current "link"-button looks like this:
image

The HTML document of the page can be found under util/gh-pages/index.html. cargo dev serve can be used to test the changes locally.

Main tracking issue #7172
@xFrednet xFrednet added good-first-issue These issues are a good way to get started with Clippy C-enhancement Category: Enhancement of lints, like adding more cases or adding help messages A-website Area: Improving the clippy website labels Nov 11, 2021
@xFrednet xFrednet mentioned this issue Nov 11, 2021
Merged
@Mastermindaxe
Copy link

I'll take this if no one minds

Mastermindaxe pushed a commit to Mastermindaxe/rust-clippy that referenced this issue Feb 25, 2022
@florian-nagel
Added copy lint name button to lint list
a7fc3a3 
Fixes rust-lang#7959
@Mastermindaxe Mastermindaxe mentioned this issue Feb 25, 2022
Closed
@xFrednet xFrednet mentioned this issue Apr 28, 2022
Merged
@Serial-ATA Serial-ATA mentioned this issue May 18, 2022
Merged
@bors bors closed this as completed in 6f8d18f May 18, 2022
@repi repi mentioned this issue Jun 7, 2022
Open
44 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-website Area: Improving the clippy website C-enhancement Category: Enhancement of lints, like adding more cases or adding help messages good-first-issue These issues are a good way to get started with Clippy
Projects
None yet
Milestone
No milestone
2 participants
@xFrednet @Mastermindaxe