Skip to content
This repository was archived by the owner on Dec 8, 2020. It is now read-only.
This repository was archived by the owner on Dec 8, 2020. It is now read-only.

Allow developers on Windows specify what kind of integrated terminal they use #289

Closed
@KalitaAlexey

Description

@KalitaAlexey

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.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions