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

Check if the Terminal Shell Integration setting is changed #4971

Merged
merged 1 commit into from
May 21, 2024
Merged

Check if the Terminal Shell Integration setting is changed #4971

merged 1 commit into from
May 21, 2024

Commits on May 21, 2024

  1. Check if the Terminal Shell Integration setting is changed 

    Because if it is, we'll need to restart the Extension Terminal
(unless it was hidden at startup).
Also add a test to ensure we can find VS Code's script
(in case its location changes upstream).
    @andyleejordan
    andyleejordan committed May 21, 2024
    Configuration menu
    Copy the full SHA
    90cc7fb View commit details
    Browse the repository at this point in the history