Website: Add filters to URL parameters to allow linking #9815
Labels
A-website
Area: Improving the clippy website
C-enhancement
Category: Enhancement of lints, like adding more cases or adding help messages
Comments
xFrednet
added
A-website
|
Oh hey - looks like this got fixed! #10834 seems to be the change. 
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Description
Relates to #2973/#3319
It is currently possible to link to specific lints within clippy lints: (e.g. here)
However, it would be very useful to be able to link specific filters & search queries, so they could be shared. For example, I very often want to share or reference the list of restrictions that help avoid panicking but am unable to (see image below). This URL could be encoded as
https://rust-lang.github.io/rust-clippy/master/index.html?sel=restriction&q=panic&lintlevel=allow,warn&versiongt=4&versionlt=6&versioneq=5Version
Additional Labels
No response
The text was updated successfully, but these errors were encountered: