-
Notifications
You must be signed in to change notification settings - Fork 29k
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
Test: Custom workspace terminal shells #23128
Labels
Milestone
Comments
This was referenced Mar 28, 2017
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
#19758
Users can once again specify terminal shells in workspace settings. It now presents a message when you launch a terminal asking to whitelist, blacklist or ignore the workspace, while opening the default shell in the meantime.
Please test that all the options work as expected, the setting itself is saved in the workspace's local storage using key
terminal.integrated.isWorkspaceShellAllowed
, you can change/delete it in the Application tab of dev tools.The text was updated successfully, but these errors were encountered: