Skip to content

Update the JSON schema #4486

Closed
Closed
@firelizzard18

Description

@firelizzard18

Your feature request related to a problem? Please describe.

#4437 adds a new kind of plugin. The published JSON schema needs to be updated. Specifically the current schema does not allow linters-settings.custom.{name}.path to be unset. It also doesn't have any of the new properties, but I don't care about that as much as the angry red squiggles from the supposedly missing property.

Describe the solution you'd like.

The schema to be updated.

Describe alternatives you've considered.

N/A

Additional context.

No response

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions