Skip to content

Report temporary directories in exec-server environment info - #37479

Merged
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/a41580f783b004011c064c7a4f9fdc7adf4fba10
Aug 7, 2026
Merged

Report temporary directories in exec-server environment info#37479
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/a41580f783b004011c064c7a4f9fdc7adf4fba10

Conversation

@copyberry

@copyberry copyberry Bot commented Aug 7, 2026

Copy link
Copy Markdown

Report temporary directories in exec-server environment info

What changed

  • Add optional temporaryDirectories file URIs to EnvironmentInfo so clients can resolve :tmpdir against executor-local defaults.
  • Populate local environment info from TMPDIR on Unix and TEMP/TMP on Windows, resolving relative Unix paths against the working directory and removing duplicates.
  • Cover protocol round trips, platform environment discovery, relative Unix paths, and the exec-server response.

## What changed

- Add optional `temporaryDirectories` file URIs to `EnvironmentInfo` so clients can resolve `:tmpdir` against executor-local defaults.
- Populate local environment info from `TMPDIR` on Unix and `TEMP`/`TMP` on Windows, resolving relative Unix paths against the working directory and removing duplicates.
- Cover protocol round trips, platform environment discovery, relative Unix paths, and the exec-server response.

GitOrigin-RevId: a41580f783b004011c064c7a4f9fdc7adf4fba10
@copyberry
copyberry Bot force-pushed the copyberry/codex-internal-to-codex-oss/a41580f783b004011c064c7a4f9fdc7adf4fba10 branch from 65be7b2 to 92fb33b Compare August 7, 2026 17:55
@copyberry
copyberry Bot merged commit 92fb33b into main Aug 7, 2026
30 of 32 checks passed
@copyberry
copyberry Bot deleted the copyberry/codex-internal-to-codex-oss/a41580f783b004011c064c7a4f9fdc7adf4fba10 branch August 7, 2026 17:56
@github-actions github-actions Bot locked and limited conversation to collaborators Aug 7, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant