diff options
| -rw-r--r-- | local-schema.json | 32 |
1 files changed, 18 insertions, 14 deletions
diff --git a/local-schema.json b/local-schema.json index aa62b26..3d4548f 100644 --- a/local-schema.json +++ b/local-schema.json @@ -2,36 +2,40 @@ "$schema": "http://json-schema.org/draft-04/schema", "additionalProperties": false, "properties": { + "blacklist": { + "items": { + "pattern": "^[a-zA-Z0-9_-]+$", + "type": "string" + }, + "type": "array" + }, "cmd": { "items": { "type": "string" }, "type": "array" }, + "config": { + "type": "object" + }, + "disabled": { + "default": true, + "type": "boolean" + }, "initialization_options": { "type": "object" }, "root_uri": { - "type": "string", - "pattern": "^file://\\S+$" + "pattern": "^file://\\S+$", + "type": "string" }, "whitelist": { "items": { - "type": "string", - "pattern": "^[a-zA-Z0-9_-]+$" - }, - "type": "array" - }, - "blacklist": { - "items": { - "type": "string", - "pattern": "^[a-zA-Z0-9_-]+$" + "pattern": "^[a-zA-Z0-9_-]+$", + "type": "string" }, "type": "array" }, - "config": { - "type": "object" - }, "workspace_config": { "type": "object" } |