clone/codex
1
0
Fork 0
mirror of https://github.com/openai/codex.git synced 2026-05-03 02:46:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Plumb local and remote environment selection through threads and fs APIs

Browse Source 
Co-authored-by: Codex <noreply@openai.com>
This commit is contained in:
starr-openai
2026-04-15 19:06:31 -07:00
parent 279091af9c
commit a0ac728158
77 changed files with 982 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

63
codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.schemas.json
View File

@@ -7685,6 +7685,13 @@
],
"description": "Absolute destination path."
},
"environmentId": {
"description": "Optional environment selection. Use `\"local\"` or `\"remote\"`, or omit the field to use the default environment.",
"type": [
"string",
"null"
]
},
"recursive": {
"description": "Required for directory copies; ignored for file copies.",
"type": "boolean"
@@ -7715,6 +7722,13 @@
"$schema": "http://json-schema.org/draft-07/schema#",
"description": "Create a directory on the host filesystem.",
"properties": {
"environmentId": {
"description": "Optional environment selection. Use `\"local\"` or `\"remote\"`, or omit the field to use the default environment.",
"type": [
"string",
"null"
]
},
"path": {
"allOf": [
{
@@ -7747,6 +7761,13 @@
"$schema": "http://json-schema.org/draft-07/schema#",
"description": "Request metadata for an absolute path.",
"properties": {
"environmentId": {
"description": "Optional environment selection. Use `\"local\"` or `\"remote\"`, or omit the field to use the default environment.",
"type": [
"string",
"null"
]
},
"path": {
"allOf": [
{
@@ -7826,6 +7847,13 @@
"$schema": "http://json-schema.org/draft-07/schema#",
"description": "List direct child names for a directory.",
"properties": {
"environmentId": {
"description": "Optional environment selection. Use `\"local\"` or `\"remote\"`, or omit the field to use the default environment.",
"type": [
"string",
"null"
]
},
"path": {
"allOf": [
{
@@ -7863,6 +7891,13 @@
"$schema": "http://json-schema.org/draft-07/schema#",
"description": "Read a file from the host filesystem.",
"properties": {
"environmentId": {
"description": "Optional environment selection. Use `\"local\"` or `\"remote\"`, or omit the field to use the default environment.",
"type": [
"string",
"null"
]
},
"path": {
"allOf": [
{
@@ -7897,6 +7932,13 @@
"$schema": "http://json-schema.org/draft-07/schema#",
"description": "Remove a file or directory tree from the host filesystem.",
"properties": {
"environmentId": {
"description": "Optional environment selection. Use `\"local\"` or `\"remote\"`, or omit the field to use the default environment.",
"type": [
"string",
"null"
]
},
"force": {
"description": "Whether missing paths should be ignored. Defaults to `true`.",
"type": [
@@ -7957,6 +7999,13 @@
"$schema": "http://json-schema.org/draft-07/schema#",
"description": "Start filesystem watch notifications for an absolute path.",
"properties": {
"environmentId": {
"description": "Optional environment selection. Use `\"local\"` or `\"remote\"`, or omit the field to use the default environment.",
"type": [
"string",
"null"
]
},
"path": {
"allOf": [
{
@@ -8004,6 +8053,13 @@
"description": "File contents encoded as base64.",
"type": "string"
},
"environmentId": {
"description": "Optional environment selection. Use `\"local\"` or `\"remote\"`, or omit the field to use the default environment.",
"type": [
"string",
"null"
]
},
"path": {
"allOf": [
{
@@ -14556,6 +14612,13 @@
"null"
]
},
"environmentId": {
"description": "Optional environment selection. Use `\"local\"` or `\"remote\"`, or omit the field to use the default environment.",
"type": [
"string",
"null"
]
},
"ephemeral": {
"type": [
"boolean",