[PR #8077] Disable the json linter #27085

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

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

State: closed
Merged: Yes


All our JSON files are actually JSONC files - json with comments.

A well-behaved application that accepts JSON should accept and ignore comments. However, jsonlint is not a well behaved application in this regard.

So, to prevent the linter from complaining about our JSON comments, we need to disable it entirely. THAT'S RIGHT, there's not a setting to allow JSONC.

See #8076 as an example of this working.

This will also unblock #7462.

**Original Pull Request:** https://github.com/microsoft/terminal/pull/8077 **State:** closed **Merged:** Yes --- All our JSON files are _actually_ JSONC files - json with comments. A well-behaved application that accepts JSON should accept and ignore comments. However, `jsonlint` is not a well behaved application in this regard. So, to prevent the linter from complaining about our JSON comments, we need to disable it entirely. THAT'S RIGHT, there's not a setting to allow JSONC. See #8076 as an example of this working. This will also unblock #7462.
claunia added the pull-request label 2026-01-31 09:19:54 +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#27085