Call getDefaultShell via ext host on web

Part of #75795
This commit is contained in:
Daniel Imms
2019-06-19 12:57:26 -07:00
parent c62e57fed1
commit 87e16500d2
9 changed files with 44 additions and 34 deletions

View File

@@ -579,6 +579,10 @@ export class ExtHostTerminalService implements ExtHostTerminalServiceShape {
return detectAvailableShells();
}
public $requestDefaultShell(): Promise<string> {
return Promise.resolve(getDefaultShell(platform.platform));
}
private _onProcessExit(id: number, exitCode: number): void {
// Remove listeners
this._terminalProcesses[id].dispose();