diff options
| author | Damian Tarnawski <gthetarnav@gmail.com> | 2024-07-13 11:37:50 +0200 |
|---|---|---|
| committer | Damian Tarnawski <gthetarnav@gmail.com> | 2024-07-13 11:37:50 +0200 |
| commit | e2adafd2addd756dc443e367c27162dc8cf6937c (patch) | |
| tree | 5715b9324ca275dd5219301ec2c53a65f85ad826 /misc | |
| parent | 78bc4d35a634ad487999aa9531bfebe689466c38 (diff) | |
Add profiles field to json schema
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/ols.schema.json | 37 |
1 files changed, 35 insertions, 2 deletions
diff --git a/misc/ols.schema.json b/misc/ols.schema.json index f46a24e..fd27dc9 100644 --- a/misc/ols.schema.json +++ b/misc/ols.schema.json @@ -9,7 +9,9 @@ "properties": { "name": { "type": "string" }, "path": { "type": "string" } - } + }, + "required": ["name", "checker_path"], + "additionalProperties": false } }, "thread_pool_count": { "type": "integer" }, @@ -76,7 +78,38 @@ "checker_args": { "type": "string", "description": "Pass custom arguments to `odin check`." + }, + "profile": { + "type": "string", + "description": "What profile to currently use." + }, + "profiles": { + "type": "array", + "description": "List of different profiles that describe the environment ols is running under.", + "items": { + "type": "object", + "properties": { + "name": { + "type": "string", + "description": "The name of the profile." + }, + "os": { + "type": "string", + "description": "The operating system for the profile." + }, + "checker_path": { + "type": "array", + "description": "List of paths where to run the checker.", + "items": { + "type": "string" + } + } + }, + "required": ["name", "checker_path"], + "additionalProperties": false + } } }, - "required": [] + "required": [], + "additionalProperties": false } |