Skip to content

Restrict shell_command to a single local environment - #36329

Merged
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/93834539b31ac8a7fea072bfa4de792bcc3e053b
Jul 31, 2026
Merged

Restrict shell_command to a single local environment#36329
copyberry[bot] merged 1 commit into
mainfrom
copyberry/codex-internal-to-codex-oss/93834539b31ac8a7fea072bfa4de792bcc3e053b

Conversation

@copyberry

@copyberry copyberry Bot commented Jul 31, 2026

Copy link
Copy Markdown

Restrict shell_command to a single local environment

What changed

  • Register the legacy shell_command handler only when exactly one local environment is available, including when unified exec keeps it hidden for compatibility.
  • Reserve the unnamespaced shell_command name so external tools cannot claim it when the built-in handler is unavailable. Namespaced tools with that name remain supported.

Testing

  • Cover remote and multiple-environment tool plans, unified exec routing, and external tool registration for reserved and namespaced variants.

## What changed

- Register the legacy `shell_command` handler only when exactly one local environment is available, including when unified exec keeps it hidden for compatibility.
- Reserve the unnamespaced `shell_command` name so external tools cannot claim it when the built-in handler is unavailable. Namespaced tools with that name remain supported.

## Testing

- Cover remote and multiple-environment tool plans, unified exec routing, and external tool registration for reserved and namespaced variants.

GitOrigin-RevId: 93834539b31ac8a7fea072bfa4de792bcc3e053b
@copyberry
copyberry Bot force-pushed the copyberry/codex-internal-to-codex-oss/93834539b31ac8a7fea072bfa4de792bcc3e053b branch from 5055bad to ef293f7 Compare July 31, 2026 14:02
@copyberry
copyberry Bot merged commit ef293f7 into main Jul 31, 2026
29 of 32 checks passed
@copyberry
copyberry Bot deleted the copyberry/codex-internal-to-codex-oss/93834539b31ac8a7fea072bfa4de792bcc3e053b branch July 31, 2026 14:03
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 31, 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.

8 participants