Allow developers on Windows specify what kind of integrated terminal they use #289
Description
As #286 states,
Some developers want to use WSL as an integrated terminal.
Of course it is possible to add handling "bash.exe" or "bash*", but it's not very flexible.
It would be better if the developer could specify what kind of terminal one uses.
I know three kind of terminals:
- cmd
- powershell
- sh
A new configuration parameter, "rust.integratedTerminal.kind"
should be added with the following values:
null
"cmd"
"powershell"
"sh"
The kind of the used integrated terminal will be determined when the extension activates. The extension will check if the new configuration parameter is set to some proper value and if it is, the extension will use it. Otherwise it will try to determine the kind of the used integrated terminal from the configuration parameter "terminal.integrated.shell.windows"
. If the extension cannot to determine it, then the extension will show the developer a quick pick with possible values. If the user dismisses the quick pick, then running Cargo command in an integrated terminal will not be possible.
If someone has something to say, please speak up.