[PR #11360] Fix compatibility issues with profiles.schema.json #28523

Open
opened 2026-01-31 09:29:03 +00:00 by claunia · 0 comments
Owner

Original Pull Request: https://github.com/microsoft/terminal/pull/11360

State: closed
Merged: Yes


This fixes two issues with profiles.schema.json:

  • The $schema should not end in a #
  • $defs is the official reserved keyword for schema re-use

See: http://json-schema.org/draft/2020-12/json-schema-core.html

PR Checklist

  • I work here
  • Tests added/passed
  • Schema updated

Validation Steps Performed

The previous schema didn't pass https://jschon.dev/, the new schema does.

**Original Pull Request:** https://github.com/microsoft/terminal/pull/11360 **State:** closed **Merged:** Yes --- This fixes two issues with profiles.schema.json: * The `$schema` should not end in a `#` * `$defs` is the official reserved keyword for schema re-use See: http://json-schema.org/draft/2020-12/json-schema-core.html ## PR Checklist * [x] I work here * [x] Tests added/passed * [x] Schema updated ## Validation Steps Performed The previous schema didn't pass https://jschon.dev/, the new schema does.
claunia added the pull-request label 2026-01-31 09:29:04 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#28523