Skip to content

Use the vscode API appropriately to find out what terminal is being used #16577

@karrtikr

Description

@karrtikr

Change this method

public identify(
telemetryProperties: ShellIdentificationTelemetry,
_terminal?: Terminal,
): TerminalShellType | undefined {
if (!this.appEnv.shell) {
return;
}

To get the active shell , we need to read from terminal.creationOptions.shellPath first, and if it's not set, fallback on vscode.env.shell API. Otherwise, wrong activation commands are sent when opening terminal using the icon,

Solution discussed in upstream VSCode issue microsoft/vscode#127374

Metadata

Metadata

Labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions