mirror of
https://github.com/voideditor/void
synced 2026-05-24 09:58:23 +00:00
pass lint errors!!
This commit is contained in:
parent
76125cc83e
commit
7c4e92a030
1 changed files with 1 additions and 1 deletions
|
|
@ -433,7 +433,7 @@ export class ToolsService implements IToolsService {
|
||||||
return `URI ${params.uri.fsPath} successfully deleted.`
|
return `URI ${params.uri.fsPath} successfully deleted.`
|
||||||
},
|
},
|
||||||
edit_file: (params, result) => {
|
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}`
|
return `Change successfully made to ${params.uri.fsPath}. ${additionalStr}`
|
||||||
},
|
},
|
||||||
run_terminal_command: (params, result) => {
|
run_terminal_command: (params, result) => {
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue