Skip to content
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

Case sensitivity in exec #443

Closed
theKidOfArcrania opened this issue Nov 2, 2023 · 1 comment
Closed

Case sensitivity in exec #443

theKidOfArcrania opened this issue Nov 2, 2023 · 1 comment

Comments

@theKidOfArcrania
Copy link

theKidOfArcrania commented Nov 2, 2023 •
edited
Loading

Seems like exec command is inherently always case-insensitive (i.e. will be forced to be lowercased), see code. Should this always be the case? What if (in my case) I want to specify some command that requires case sensitivity (for example the command wt nt --profile Debian gets quietly converted to wt nt --profile debian and then you would be left to wonder why windows terminal never pulls up the Debian profile instead of the default one)?
@lars-berger
Copy link
Member

Fixed in v3 👍 Latest release

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@theKidOfArcrania @lars-berger