Also pick up the core run in terminal tool for prompts (#289)

Part of microsoft/vscode#252650

Author: Tyriar

src/extension/prompts/node/agent/agentInstructions.tsx

@@ -25,7 +25,7 @@ interface DefaultAgentPromptProps extends BasePromptElementProps {
  */
 export class DefaultAgentPrompt extends PromptElement<DefaultAgentPromptProps> {
 	async render(state: void, sizing: PromptSizing) {
-		const hasTerminalTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.RunInTerminal);
+		const hasTerminalTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.RunInTerminal || tool.name === ToolName.RunInTerminalCore);
 		const hasReplaceStringTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.ReplaceString);
 		const hasInsertEditTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.EditFile);
 		const hasApplyPatchTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.ApplyPatch);
@@ -367,7 +367,7 @@ class ApplyPatchInstructions extends PromptElement<DefaultAgentPromptProps> {
 
 class GenericEditingTips extends PromptElement<DefaultAgentPromptProps> {
 	override render() {
-		const hasTerminalTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.RunInTerminal);
+		const hasTerminalTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.RunInTerminal || tool.name === ToolName.RunInTerminalCore);
 		return <>
 			Follow best practices when editing files. If a popular external library exists to solve a problem, use it and properly install the package e.g. {hasTerminalTool && 'with "npm install" or '}creating a "requirements.txt".<br />
 			If you're building a webapp from scratch, give it a beautiful and modern UI.<br />

src/extension/prompts/node/agent/agentPrompt.tsx

@@ -280,7 +280,7 @@ export class AgentUserMessage extends PromptElement<AgentUserMessageProps> {
 		const hasCreateFileTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.CreateFile);
 		const hasEditFileTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.EditFile);
 		const hasEditNotebookTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.EditNotebook);
-		const hasTerminalTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.RunInTerminal);
+		const hasTerminalTool = !!this.props.availableTools?.find(tool => tool.name === ToolName.RunInTerminal || tool.name === ToolName.RunInTerminalCore);
 		const attachmentHint = (this.props.endpoint.family === 'gpt-4.1') && this.props.chatVariables.hasVariables() ?
 			' (See <attachments> above for file contents. You may not need to search or read the file again.)'
 			: '';

src/extension/tools/common/toolNames.ts

@@ -17,6 +17,7 @@ export const enum ToolName {
 	ListDirectory = 'list_dir',
 	GetErrors = 'get_errors',
 	RunInTerminal = 'run_in_terminal',
+	RunInTerminalCore = 'run_in_terminal2',
 	GetTerminalOutput = 'get_terminal_output',
 	GetScmChanges = 'get_changed_files',
 	UpdateUserPreferences = 'update_user_preferences',