[json] `json.suppress_infile_$schema`

[loynoir]

reproduce

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "Node",
  "type": "object",
  "properties": {
    "value": {
      "type": "string"
    }
  },
  "additionalProperties": false,
  "required": [
    "value"
  ]
}

{
  "$schema": "file:///tmp/temporary-config-reproduce.schema.json",
  "value": "42"
}

error

Property $schema is not allowed.

feat

"json.schema.inject-root-property-schema": true,

[aeschli]

What do you mean by 'inject'?
I don't think anything is added automatically. It's up to the user to add it.

[RedCMD]

I think he wants a setting to inject

"$schema": {
    "type": "string"
}

into the properties object of the target schema

tho why not just add it to the schema?
could always create a new schema with it
and include the other schema as a rule

[loynoir]

Given

• https://third_party/any.schema.json are all without $schema

Feat request

config

    "json.suppress_infile_$schema": true,

content

/tmp/reproduce.jsonc

{
    // "$schema": "https://third_party/foo.schema.json",
    // "$schema": "https://third_party/bar.schema.json",
    // "$schema": "https://third_party/baz.schema.json",
    "$schema": "https://third_party/any-reproduce.schema.json",
    "value": "42"
}

Current equivalent

config

    "json.schemas": [
      {
        "fileMatch": [
          "/foo.json"
        ],
        "url": "https://third_party/foo.schema.json"
      },
      {
        "fileMatch": [
          "/bar.json"
        ],
        "url": "https://third_party/bar.schema.json"
      },
      {
        "fileMatch": [
          "/baz.json"
        ],
        "url": "https://third_party/baz.schema.json"
      }
    ]

content

/tmp/foo.json

{
    "value": "foo"
}

/tmp/bar.json

{
    "value": "bar"
}

/tmp/baz.json

{
    "value": "baz"
}