-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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.
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
Added preferences for shell & shell arguments #7660
Conversation
@owlJaeger are these the preferences you are attempting to add: |
Yes, these are what I am looking for. I've updated this PR to include |
Please make sure to align and test that they are compatible with VS Code if present. |
I've tested it in the theia workspace and setting |
@owlJaeger that's good, each PR should pass https://github.com/eclipse-theia/theia/blob/master/doc/pull-requests.md#landing-pr someone will test and approve it |
Looking forward to using it. |
@akosyakov @vince-fugnitto I've now updated this PR. I am unsure about the naming of some stuff. I've tested it and it looks like it's fully functional on windows. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
My concerns were addressed. We need to test it though. It would be also good if @marechal-p look at the shell process. I think you changed it the last.
6e0a1a3
to
17e216d
Compare
Signed-off-by: Luca Jaeger <owl.jaeger@gmail.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I've tested on Linux with:
"terminal.integrated.shellArgs.linux": [
"-c",
"echo 'Hello World' && sleep 999999999"
]
and it worked well.
@vince-fugnitto @marechal-p Any concerns to merge it?
No I don't believe so :) I've restarted the build and it's all green. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Just tried it out on osx and everything is working!
@vince-fugnitto @JPinkney thank you for double checking, merging 🚀 |
Signed-off-by: Luca Jaeger owl.jaeger@gmail.com
What it does
Adds an easy way to control what shell or what shell arguments to use for the Terminal by adding preferences and prefer these over
this.options.shellPath
andthis.options.shellArgs
.How to test
Add
terminal.integrated.shell.{os}
orterminal.integrated.shellArgs.{os}
to the preferences.Example:
I have
pwsh.exe
in my path env variable, but absolute paths work too.Review checklist
Reminder for reviewers