Skip to content

Website: Add filters to URL parameters to allow linking #9815

Closed
@tgross35

Description

@tgross35

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=5

image

Version

N/A

Additional Labels

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-websiteArea: Improving the clippy websiteC-enhancementCategory: Enhancement of lints, like adding more cases or adding help messages

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions