From 5e5b2ffb2e7524d437c610a4abdd0ef42aba95c9 Mon Sep 17 00:00:00 2001 From: timkenhan <33104842+timkenhan@users.noreply.github.com> Date: Sun, 26 Apr 2026 00:20:04 +0700 Subject: [PATCH] enhance(linux): external terminal launch command in shell (#2790) --- patches/linux/00-terminal-cmd-in-shell.patch | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 patches/linux/00-terminal-cmd-in-shell.patch diff --git a/patches/linux/00-terminal-cmd-in-shell.patch b/patches/linux/00-terminal-cmd-in-shell.patch new file mode 100644 index 0000000..9bf4bc5 --- /dev/null +++ b/patches/linux/00-terminal-cmd-in-shell.patch @@ -0,0 +1,13 @@ +diff --git a/src/vs/platform/externalTerminal/node/externalTerminalService.ts b/src/vs/platform/externalTerminal/node/externalTerminalService.ts +index e7cf3f54588..80075787abf 100644 +--- a/src/vs/platform/externalTerminal/node/externalTerminalService.ts ++++ b/src/vs/platform/externalTerminal/node/externalTerminalService.ts +@@ -327,7 +327,7 @@ export class LinuxExternalTerminalService extends ExternalTerminalService implem + const env = getSanitizedEnvironment(process); + const basename = path.basename(exec).toLowerCase(); + const args = basename === 'ghostty' && cwd ? [`--working-directory=${cwd}`] : []; +- const child = spawner.spawn(exec, args, { cwd, env }); ++ const child = spawner.spawn(exec, args, { cwd, env, shell: true }); + child.on('error', e); + child.on('exit', () => c()); + });