mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-11-27 20:50:25 +08:00
63 lines
No EOL
1.3 KiB
JSON
63 lines
No EOL
1.3 KiB
JSON
{
|
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
"$defs": {
|
|
"AiSettingsType": {
|
|
"properties": {
|
|
"ai:*": {
|
|
"type": "boolean"
|
|
},
|
|
"ai:preset": {
|
|
"type": "string"
|
|
},
|
|
"ai:apitype": {
|
|
"type": "string"
|
|
},
|
|
"ai:baseurl": {
|
|
"type": "string"
|
|
},
|
|
"ai:apitoken": {
|
|
"type": "string"
|
|
},
|
|
"ai:name": {
|
|
"type": "string"
|
|
},
|
|
"ai:model": {
|
|
"type": "string"
|
|
},
|
|
"ai:orgid": {
|
|
"type": "string"
|
|
},
|
|
"ai:apiversion": {
|
|
"type": "string"
|
|
},
|
|
"ai:maxtokens": {
|
|
"type": "number"
|
|
},
|
|
"ai:timeoutms": {
|
|
"type": "number"
|
|
},
|
|
"ai:proxyurl": {
|
|
"type": "string"
|
|
},
|
|
"ai:fontsize": {
|
|
"type": "number"
|
|
},
|
|
"ai:fixedfontsize": {
|
|
"type": "number"
|
|
},
|
|
"display:name": {
|
|
"type": "string"
|
|
},
|
|
"display:order": {
|
|
"type": "number"
|
|
}
|
|
},
|
|
"additionalProperties": false,
|
|
"type": "object"
|
|
}
|
|
},
|
|
"additionalProperties": {
|
|
"$ref": "#/$defs/AiSettingsType"
|
|
},
|
|
"type": "object"
|
|
} |