related to #123762, check for windowsExec in settings

This commit is contained in:
meganrogge 2021-05-13 13:25:14 -07:00
parent e7e57aa0cf
commit 3591770239
No known key found for this signature in database
GPG key ID: 3155C8B2F0428C81

View file

@ -80,7 +80,7 @@ export class WindowsExternalTerminalService extends ExternalTerminalService impl
}
public runInTerminal(title: string, dir: string, args: string[], envVars: ITerminalEnvironment, settings: IExternalTerminalSettings): Promise<number | undefined> {
const exec = settings.windowsExec || WindowsExternalTerminalService.getDefaultTerminalWindows();
const exec = 'windowsExec' in settings ? settings.windowsExec : WindowsExternalTerminalService.getDefaultTerminalWindows();
return new Promise<number | undefined>((resolve, reject) => {