Skip to content

Conversation

@dylan-hurd-oai
Copy link
Collaborator

@dylan-hurd-oai dylan-hurd-oai commented Nov 14, 2025

Summary

Updates shell and shell_command tool instructions.

Testing

  • Test locally on windows machine

Copy link
Contributor

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@dylan-hurd-oai dylan-hurd-oai force-pushed the dh--shell-definition-windows branch 2 times, most recently from 1212524 to d385d91 Compare November 14, 2025 23:09
@dylan-hurd-oai dylan-hurd-oai changed the title fix(windows) Use shell_command on Windows chore(core) Update shell instructions Nov 16, 2025
@dylan-hurd-oai dylan-hurd-oai force-pushed the dh--shell-definition-windows branch 3 times, most recently from 1bc2469 to 01ff77e Compare November 17, 2025 04:51
@dylan-hurd-oai dylan-hurd-oai force-pushed the dh--shell-definition-windows branch from 01ff77e to 78b57de Compare November 17, 2025 19:30
Copy link
Collaborator

@pakrym-oai pakrym-oai left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

shell_command's command is passed to bash -lc

@dylan-hurd-oai dylan-hurd-oai merged commit daf77b8 into main Nov 17, 2025
25 checks passed
@dylan-hurd-oai dylan-hurd-oai deleted the dh--shell-definition-windows branch November 17, 2025 21:05
@github-actions github-actions bot locked and limited conversation to collaborators Nov 17, 2025
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.

3 participants