aboutsummaryrefslogtreecommitdiff
path: root/misc
diff options
context:
space:
mode:
authorDamian Tarnawski <gthetarnav@gmail.com>2024-07-13 11:37:50 +0200
committerDamian Tarnawski <gthetarnav@gmail.com>2024-07-13 11:37:50 +0200
commite2adafd2addd756dc443e367c27162dc8cf6937c (patch)
tree5715b9324ca275dd5219301ec2c53a65f85ad826 /misc
parent78bc4d35a634ad487999aa9531bfebe689466c38 (diff)
Add profiles field to json schema
Diffstat (limited to 'misc')
-rw-r--r--misc/ols.schema.json37
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
}