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
Enhance Pipenv manager registration and configuration (#1170)
Fixes#590
Improve the Pipenv manager to support existing environments even when
the CLI is not available. Update the configuration to include the Pipenv
executable path for better integration.
'Pipenv CLI not found, but pipenv environments were discovered. Registering manager for read-only environment management. To enable full pipenv features, set the "python.pipenvPath" setting to the path of your pipenv executable.',
32
+
);
33
+
}
25
34
}else{
26
-
traceInfo('Pipenv not found, turning off pipenv features.');
35
+
traceInfo(
36
+
'Pipenv not found, turning off pipenv features. If you have pipenv installed in a non-standard location, set the "python.pipenvPath" setting.',
0 commit comments