Closed
Description
Contribute to terminal environments
This new API allows extensions to change environment variables when the terminal is starting up.
- Support terminal activation for debugger without running Commands in terminal
- Running
python
in terminal will user correct environment even when terminal is already open - Not polluting terminal history with unnecessary commands
- expose
.env
variables into terminal without activation of environment
const collection = window.getEnvironmentVariableCollection(true);
const separator = process.platform === 'win32' ? ';' : ':';
collection.prepend('PATH', `/foo${separator}`);
collection.replace('JAVA_HOME', '/bar');