From 7c4e92a030e41e8572804efd1a24d61092df4bcf Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Sun, 6 Apr 2025 22:47:57 -0700 Subject: [PATCH] pass lint errors!! --- src/vs/workbench/contrib/void/browser/toolsService.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/void/browser/toolsService.ts b/src/vs/workbench/contrib/void/browser/toolsService.ts index 2dbd1b55..439bed62 100644 --- a/src/vs/workbench/contrib/void/browser/toolsService.ts +++ b/src/vs/workbench/contrib/void/browser/toolsService.ts @@ -433,7 +433,7 @@ export class ToolsService implements IToolsService { return `URI ${params.uri.fsPath} successfully deleted.` }, edit_file: (params, result) => { - const additionalStr = result.lintErrorsStr ? `Lint errors found after change:\n${result.lintErrorsStr}.\nIf this is related to a change you made, you should eventually fix this error.` : `No lint errors found.` + const additionalStr = result.lintErrorsStr ? `Lint errors found after change:\n${result.lintErrorsStr}.\nIf this is related to a change made while calling this tool, you might want to fix the error.` : `No lint errors found.` return `Change successfully made to ${params.uri.fsPath}. ${additionalStr}` }, run_terminal_command: (params, result) => {