Allow "$schema" field in .markdownlint.json schema (fixes #227).

This commit is contained in:
David Anson 2019-10-25 14:45:01 -07:00
parent e9b3cc4c18
commit eacfa6142b
2 changed files with 11 additions and 0 deletions

View file

@ -18,6 +18,12 @@ const schema = {
"description": "Path to configuration file to extend",
"type": "string",
"default": null
},
"$schema": {
"description": "JSON Schema URI (used by some editors)",
"type": "string",
"default": "https://raw.githubusercontent.com/DavidAnson/markdownlint" +
"/master/schema/markdownlint-config-schema.json"
}
},
"additionalProperties": false

View file

@ -12,6 +12,11 @@
"type": "string",
"default": null
},
"$schema": {
"description": "JSON Schema URI (used by some editors)",
"type": "string",
"default": "https://raw.githubusercontent.com/DavidAnson/markdownlint/master/schema/markdownlint-config-schema.json"
},
"MD001": {
"description": "MD001/heading-increment/header-increment - Heading levels should only increment by one level at a time",
"type": "boolean",