From 858faed92b8d54de8dedcdd9cb91d8b682eede08 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Wed, 9 Apr 2025 04:18:46 -0700 Subject: [PATCH] 5s --- src/vs/workbench/contrib/void/browser/toolsService.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/contrib/void/browser/toolsService.ts b/src/vs/workbench/contrib/void/browser/toolsService.ts index ea6e216d..51282bf7 100644 --- a/src/vs/workbench/contrib/void/browser/toolsService.ts +++ b/src/vs/workbench/contrib/void/browser/toolsService.ts @@ -36,7 +36,7 @@ type ToolResultToString = { [T in ToolName]: (p: ToolCallParams[T], result: Awai export const MAX_FILE_CHARS_PAGE = 50_000 export const MAX_CHILDREN_URIs_PAGE = 500 export const MAX_TERMINAL_CHARS_PAGE = 20_000 -export const TERMINAL_TIMEOUT_TIME = 15 +export const TERMINAL_TIMEOUT_TIME = 5 // seconds export const TERMINAL_BG_WAIT_TIME = 1 @@ -419,7 +419,7 @@ export class ToolsService implements IToolsService { const terminalDesc = `terminal ${terminalId}${didCreateTerminal ? ` (a newly-created terminal)` : ''}` if (resolveReason.type === 'timeout') { - return `Terminal command ran in ${terminalDesc}, but timed out after ${TERMINAL_TIMEOUT_TIME} seconds. Result:\n${result_}` + return `Terminal command ran in ${terminalDesc}, but did not complete after ${TERMINAL_TIMEOUT_TIME} seconds. Result:\n${result_}` } else if (resolveReason.type === 'bgtask') { return `Terminal command is running in the background in ${terminalDesc}. Here were the outputs after ${TERMINAL_BG_WAIT_TIME} seconds:\n${result_}`