diff options
| author | scarf <greenscarf005@gmail.com> | 2023-05-19 05:55:10 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-18 16:55:10 -0400 |
| commit | a45f7f237be46ae20553d34441c61cb1d01398cb (patch) | |
| tree | 2bb8f823df063239b2e9eef01ca72b64339da0c9 /cli/schemas | |
| parent | 55db691174d780ac372ec83acced159790ea50ae (diff) | |
feat(cli): top-level `exclude` field in `deno.json` (#17778)
Diffstat (limited to 'cli/schemas')
| -rw-r--r-- | cli/schemas/config-file.v1.json | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cli/schemas/config-file.v1.json b/cli/schemas/config-file.v1.json index 7978a2597..000699767 100644 --- a/cli/schemas/config-file.v1.json +++ b/cli/schemas/config-file.v1.json @@ -223,6 +223,13 @@ } } }, + "exclude": { + "type": "array", + "description": "List of files or directories that will be ignored by all other configurations.", + "items": { + "type": "string" + } + }, "lint": { "description": "Configuration for linter", "type": "object", |