diff options
| author | Brenley Dueck <brenleydueck@gmail.com> | 2022-10-25 07:21:20 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-25 14:21:20 +0200 |
| commit | a189c5393e1b106687736635fea0b8aeca283826 (patch) | |
| tree | 6c0119266f77611e1ba8146ee394f8e10cf8b3c4 /cli/schemas | |
| parent | ac5fcf626a77db7795f7ab2b4f15e4ecb3270171 (diff) | |
feat(lint): add a report lint config setting (#16045)
Builds off this PR to add a "report" setting to deno.json which can be
"pretty", "compact", or "json".
Diffstat (limited to 'cli/schemas')
| -rw-r--r-- | cli/schemas/config-file.v1.json | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/cli/schemas/config-file.v1.json b/cli/schemas/config-file.v1.json index a8f80dd36..26cd3ab77 100644 --- a/cli/schemas/config-file.v1.json +++ b/cli/schemas/config-file.v1.json @@ -249,6 +249,15 @@ "uniqueItems": true } } + }, + "report": { + "default": "pretty", + "enum": [ + "pretty", + "json", + "compact" + ], + "description": "The default report format to use when linting" } } }, |