Skip to content

Better help support in clippy-driver #4173

Description

@Manishearth

Depends on #4172

It should be possible to:

  • Call clippy-driver --help to get Clippy help. Include lint groups, but not lints
  • Call clippy-driver -W help to get a lint list.

cc @yaahallo

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions