Skip to content

cli: add -P sandbox permissions profile alias#27054

Merged
bolinfest merged 1 commit into
mainfrom
pr27054
Jun 8, 2026
Merged

cli: add -P sandbox permissions profile alias#27054
bolinfest merged 1 commit into
mainfrom
pr27054

Conversation

@bolinfest

@bolinfest bolinfest commented Jun 8, 2026

Copy link
Copy Markdown
Collaborator

Why

codex sandbox --permissions-profile is useful when running commands under a named permissions profile, but the long option is cumbersome for a debugging-oriented command. -p is already used for the config profile selector, so -P gives the permissions profile selector a compact, non-conflicting alias.

What Changed

Verification

  • just test -p codex-cli passed, including the new sandbox_parses_permissions_profile_short_alias parser test.

@bolinfest bolinfest enabled auto-merge (squash) June 8, 2026 20:54
@bolinfest bolinfest merged commit e0ee491 into main Jun 8, 2026
31 checks passed
@bolinfest bolinfest deleted the pr27054 branch June 8, 2026 20:59
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 8, 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.

2 participants