Add shellPath to allow user specify preferred shell. Fix #10917

This commit is contained in:
Pine Wu
2016-09-08 11:17:08 -07:00
parent 3375a6d98d
commit f85725fd97
8 changed files with 40 additions and 22 deletions

View File

@@ -153,7 +153,7 @@ export abstract class MainThreadOutputServiceShape {
}
export abstract class MainThreadTerminalServiceShape {
$createTerminal(name?: string): TPromise<number> { throw ni(); }
$createTerminal(name?: string, shellPath?: string): TPromise<number> { throw ni(); }
$dispose(terminalId: number): void { throw ni(); }
$hide(terminalId: number): void { throw ni(); }
$sendText(terminalId: number, text: string, addNewLine: boolean): void { throw ni(); }