From 1f444bacf6e4fe640a3ec9c6156930620821a081 Mon Sep 17 00:00:00 2001 From: "Tom Dewey tom.dewey@raspberrypi.com" Date: Tue, 10 Oct 2023 11:57:25 +0100 Subject: [PATCH] schema: Update to fixup devices, matching_type --- doc/json-schema/os-list-schema.json | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/doc/json-schema/os-list-schema.json b/doc/json-schema/os-list-schema.json index 37ae199..017e66f 100644 --- a/doc/json-schema/os-list-schema.json +++ b/doc/json-schema/os-list-schema.json @@ -301,9 +301,9 @@ ] }, "devices": { - "$id": "#/properties/os_list/items/anyOf/0/properties/compat_with", + "$id": "#/properties/os_list/items/anyOf/0/properties/devices", "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", "default": "", "examples": [ @@ -312,6 +312,19 @@ "[\"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": { "$id": "#/properties/os_list/items/anyOf/1/properties/website", "type": "string",