mirror of
https://github.com/openai/codex.git
synced 2026-05-18 18:22:39 +00:00
6a331a66eb
## Why To help improve `codex remote-control` CLI UX which I plan to do in a followup, this PR adds `server-name` to the various remote control APIs: - `remoteControl/enable` - `remoteControl/disable` - `remoteControl/status/changed` Also, add a `remoteControl/status/read` API. This will be helpful in the Codex App.
39 lines
800 B
JSON
Generated
39 lines
800 B
JSON
Generated
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"definitions": {
|
|
"RemoteControlConnectionStatus": {
|
|
"enum": [
|
|
"disabled",
|
|
"connecting",
|
|
"connected",
|
|
"errored"
|
|
],
|
|
"type": "string"
|
|
}
|
|
},
|
|
"description": "Current remote-control connection status and remote identity exposed to clients.",
|
|
"properties": {
|
|
"environmentId": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
]
|
|
},
|
|
"installationId": {
|
|
"type": "string"
|
|
},
|
|
"serverName": {
|
|
"type": "string"
|
|
},
|
|
"status": {
|
|
"$ref": "#/definitions/RemoteControlConnectionStatus"
|
|
}
|
|
},
|
|
"required": [
|
|
"installationId",
|
|
"serverName",
|
|
"status"
|
|
],
|
|
"title": "RemoteControlStatusChangedNotification",
|
|
"type": "object"
|
|
} |