Skip to content

feat: add exit slash command alias for quit #6002

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Oct 31, 2025
Merged

feat: add exit slash command alias for quit #6002

merged 1 commit into from
Oct 31, 2025
+30 −6

Conversation

@aibrahim-oai
Copy link
Collaborator

Summary

  • add the /exit slash command alongside /quit and reuse shared exit handling
  • refactor the chat widget to funnel quit, exit, logout, and shutdown flows through a common request_exit helper
  • add focused unit tests that confirm both /quit and /exit send an ExitRequest

Testing

  • just fmt
  • just fix -p codex-tui
  • cargo test -p codex-tui

https://chatgpt.com/codex/tasks/task_i_6903d5a8f47c8321bf180f031f2fa330
@tibo-openai tibo-openai changed the title Add exit slash command alias for quit Oct 31, 2025
@aibrahim-oai aibrahim-oai merged commit e761924 into main Oct 31, 2025
25 checks passed
@aibrahim-oai aibrahim-oai deleted the codex/add-exit-slash-command-fwzeie branch October 31, 2025 00:29
@github-actions github-actions bot locked and limited conversation to collaborators Oct 31, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

codex

4 participants

@aibrahim-oai @tibo-openai @dylan-hurd-oai