Skip to content

Conversation

@bolinfest
Copy link
Collaborator

@bolinfest bolinfest commented Dec 11, 2025

I am trying to tighten up some of our logic around PowerShell over in #7607 and it would be helpful to be more precise about pwsh.exe versus powershell.exe, as they do not accept the exact same input language.

To that end, this PR introduces utilities for detecting each on the system. I think we also want to update get_user_shell_path() to return PowerShell instead of None on Windows, but we'll consider that in a separate PR since it may require more testing.

@bolinfest bolinfest enabled auto-merge (squash) December 12, 2025 06:07
@bolinfest bolinfest disabled auto-merge December 12, 2025 06:07
@bolinfest bolinfest merged commit 4312cae into main Dec 12, 2025
26 checks passed
@bolinfest bolinfest deleted the pr7893 branch December 12, 2025 06:07
@github-actions github-actions bot locked and limited conversation to collaborators Dec 12, 2025
Copy link
Collaborator

@dylan-hurd-oai dylan-hurd-oai left a comment

Choose a reason for hiding this comment

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

LGTM!

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