add is_dir/is_file to entries in readdir

2026-04-28 10:21:06 +03:00 · 2026-03-12 17:24:02 -07:00
parent 2f63af0098
commit 577ac2bc00
8 changed files with 79 additions and 9 deletions
--- a/codex-rs/app-server-protocol/schema/json/v2/FsReadDirectoryResponse.json
+++ b/codex-rs/app-server-protocol/schema/json/v2/FsReadDirectoryResponse.json
@@ -7,10 +7,20 @@
        "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"
        }
      },
      "required": [
-        "fileName"
+        "fileName",
+        "isDirectory",
+        "isFile"
      ],
      "type": "object"
    }