39
40
public spawnTerminal(spawner: typeof cp, configuration: IExternalTerminalSettings, command: string, cwd?: string): Promise<void> {
41
>
const exec = configuration.windowsExec || WindowsExternalTerminalService.getDefaultTerminalWindows();
externalTerminalService.ts
42
>
43
>
// Make the drive letter uppercase on Windows (see #9448)
44
>
if (cwd && cwd[1] === ':') {
45
cwd = cwd[0].toUpperCase() + cwd.substr(1);
46
}
48
>
// cmder ignores the environment cwd and instead opts to always open in %USERPROFILE%
49
>
// unless otherwise specified
50
>
const basename = path.basename(exec, '.exe').toLowerCase();
51
>
if (basename === 'cmder') {
52
spawner.spawn(exec, cwd ? [cwd] : undefined);
53
return Promise.resolve(undefined);