mirror of
https://github.com/openai/codex.git
synced 2026-04-25 07:05:38 +00:00
520ed724d2
Introduce a plugin/list which reads from local marketplace.json. Also update the signature for plugin/install.
83 lines
1.6 KiB
JSON
83 lines
1.6 KiB
JSON
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"definitions": {
|
|
"PluginMarketplaceEntry": {
|
|
"properties": {
|
|
"name": {
|
|
"type": "string"
|
|
},
|
|
"path": {
|
|
"type": "string"
|
|
},
|
|
"plugins": {
|
|
"items": {
|
|
"$ref": "#/definitions/PluginSummary"
|
|
},
|
|
"type": "array"
|
|
}
|
|
},
|
|
"required": [
|
|
"name",
|
|
"path",
|
|
"plugins"
|
|
],
|
|
"type": "object"
|
|
},
|
|
"PluginSource": {
|
|
"oneOf": [
|
|
{
|
|
"properties": {
|
|
"path": {
|
|
"type": "string"
|
|
},
|
|
"type": {
|
|
"enum": [
|
|
"local"
|
|
],
|
|
"title": "LocalPluginSourceType",
|
|
"type": "string"
|
|
}
|
|
},
|
|
"required": [
|
|
"path",
|
|
"type"
|
|
],
|
|
"title": "LocalPluginSource",
|
|
"type": "object"
|
|
}
|
|
]
|
|
},
|
|
"PluginSummary": {
|
|
"properties": {
|
|
"enabled": {
|
|
"type": "boolean"
|
|
},
|
|
"name": {
|
|
"type": "string"
|
|
},
|
|
"source": {
|
|
"$ref": "#/definitions/PluginSource"
|
|
}
|
|
},
|
|
"required": [
|
|
"enabled",
|
|
"name",
|
|
"source"
|
|
],
|
|
"type": "object"
|
|
}
|
|
},
|
|
"properties": {
|
|
"marketplaces": {
|
|
"items": {
|
|
"$ref": "#/definitions/PluginMarketplaceEntry"
|
|
},
|
|
"type": "array"
|
|
}
|
|
},
|
|
"required": [
|
|
"marketplaces"
|
|
],
|
|
"title": "PluginListResponse",
|
|
"type": "object"
|
|
} |