cmclark00/retro-imager
1
0
Fork 0
mirror of https://github.com/cmclark00/retro-imager.git synced 2025-05-18 07:55:21 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

schema: Update to fixup devices, matching_type

Browse source
This commit is contained in:
Tom Dewey tom.dewey@raspberrypi.com 2023-10-10 11:57:25 +01:00
parent 4fb84ff3e8
commit 1f444bacf6
1 changed files with 15 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

17
doc/json-schema/os-list-schema.json
View file

@ -301,9 +301,9 @@
] ]
}, },
"devices": { "devices": {
"$id": "#/properties/os_list/items/anyOf/0/properties/compat_with", "$id": "#/properties/os_list/items/anyOf/0/properties/devices",
"type": "array", "type": "array",
"title": "The compat_with schema", "title": "The devices schema",
"description": "Provides a JSON-format list of strings representing Raspberry Pi devices that are supported with this image", "description": "Provides a JSON-format list of strings representing Raspberry Pi devices that are supported with this image",
"default": "", "default": "",
"examples": [ "examples": [
@ -312,6 +312,19 @@
"[\"cm3\", \"cm4\"]" "[\"cm3\", \"cm4\"]"
] ]
}, },
"matching_type": {
"$id": "#/properties/os_list/items/anyOf/0/properties/matching_type",
"type": "array",
"title": "The matching_type schema",
"description": "Allows specification of the matching algorithm to use for device tags. If you set this to 'exclusive', any image that does not explicitly tag your target device will not be displayed. Set to 'prefix' to allow for family matching (eg, match all Pi1 devices), but no untagged images. Set to 'inclusive', and get your exact device name and all untagged images. Finally, if you set to 'inclusive_prefix', you can match all images tagged with your family prefix (eg, Pi1), and any untagged image.",
"default": "exclusive",
"examples": [
"exclusive",
"exclusive_prefix",
"inclusive",
"inclusive_prefix"
]
},
"website": { "website": {
"$id": "#/properties/os_list/items/anyOf/1/properties/website", "$id": "#/properties/os_list/items/anyOf/1/properties/website",
"type": "string", "type": "string",