mirror of
https://github.com/openai/codex.git
synced 2026-04-24 14:45:27 +00:00
- fall back to local when sandboxed exec cannot be modeled remotely - use server-issued process ids for remote session continuations - retain symlink fidelity across fs/readDirectory plumbing - clean up exited exec-server processes after retention Co-authored-by: Codex <noreply@openai.com>
48 lines
1.3 KiB
JSON
48 lines
1.3 KiB
JSON
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"definitions": {
|
|
"FsReadDirectoryEntry": {
|
|
"description": "A directory entry returned by `fs/readDirectory`.",
|
|
"properties": {
|
|
"fileName": {
|
|
"description": "Direct child entry name only, not an absolute or relative path.",
|
|
"type": "string"
|
|
},
|
|
"isDirectory": {
|
|
"description": "Whether this entry resolves to a directory.",
|
|
"type": "boolean"
|
|
},
|
|
"isFile": {
|
|
"description": "Whether this entry resolves to a regular file.",
|
|
"type": "boolean"
|
|
},
|
|
"isSymlink": {
|
|
"description": "Whether this entry is a symlink.",
|
|
"type": "boolean"
|
|
}
|
|
},
|
|
"required": [
|
|
"fileName",
|
|
"isDirectory",
|
|
"isFile",
|
|
"isSymlink"
|
|
],
|
|
"type": "object"
|
|
}
|
|
},
|
|
"description": "Directory entries returned by `fs/readDirectory`.",
|
|
"properties": {
|
|
"entries": {
|
|
"description": "Direct child entries in the requested directory.",
|
|
"items": {
|
|
"$ref": "#/definitions/FsReadDirectoryEntry"
|
|
},
|
|
"type": "array"
|
|
}
|
|
},
|
|
"required": [
|
|
"entries"
|
|
],
|
|
"title": "FsReadDirectoryResponse",
|
|
"type": "object"
|
|
} |