mirror of
https://github.com/wavetermdev/waveterm
synced 2026-05-21 15:58:30 +00:00
3062286cd0
While there is significant overlap between SettingsType and AiSettingsType, they are distinct entities and should be treated as such until more changes have been made.
60 lines
No EOL
1.2 KiB
JSON
60 lines
No EOL
1.2 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: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"
|
|
} |