From 70fe79c4fe7d6cf9c502a16033da750de5fe0dd3 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Fri, 9 May 2025 03:41:46 -0700 Subject: [PATCH] add terminal --- src/vs/workbench/contrib/void/browser/terminalToolService.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/void/browser/terminalToolService.ts b/src/vs/workbench/contrib/void/browser/terminalToolService.ts index 2701df21..f3c0a8fe 100644 --- a/src/vs/workbench/contrib/void/browser/terminalToolService.ts +++ b/src/vs/workbench/contrib/void/browser/terminalToolService.ts @@ -351,8 +351,11 @@ export class TerminalToolService extends Disposable implements ITerminalToolServ result = await this.readTerminal(terminalId) } - result = removeAnsiEscapeCodes(result) + + if (!isPersistent) result = `$ ${command}\n${result}` + result = removeAnsiEscapeCodes(result) + // trim if (result.length > MAX_TERMINAL_CHARS) { const half = MAX_TERMINAL_CHARS / 2 result = result.slice(0, half)