You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Improve shell startup experience using setting value (#921)
Resolves:
#919 which
will improve on top of
#915
I want to bulletproof shell startup as much as possible.
We shouldn't be showing profile modification prompt if user has shell
integration.
We should also ensure proper clean up.
@@ -114,6 +118,11 @@ export async function shellIntegrationForActiveTerminal(name: string, profile?:
114
118
traceInfo(
115
119
`SHELL: Shell integration is available on your active terminal, with name ${name} and profile ${profile}. Python activate scripts will be evaluated at shell integration level, except in WSL.`,
116
120
);
121
+
122
+
// Update persistent storage to reflect that shell integration is available
`WSL detected: ${isWsl()}, Shell integration available from setting, or active terminal: ${shellIntegrationEnabled}, or${awaitshellIntegrationForActiveTerminal(
0 commit comments