From 75b9a3b6a825004e07e6dae38bf7317e6e1531fb Mon Sep 17 00:00:00 2001 From: Agus Zubiaga Date: Fri, 4 Apr 2025 15:59:21 -0300 Subject: [PATCH] agent: Disable redundant tools (might delete later) (#28114) Release Notes: - agent: Disable tools that are redundant in the presence of the bash tool --- assets/settings/default.json | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/assets/settings/default.json b/assets/settings/default.json index 73a8ca360a..4205a473ba 100644 --- a/assets/settings/default.json +++ b/assets/settings/default.json @@ -644,7 +644,7 @@ "tools": { "diagnostics": true, "fetch": true, - "list_directory": true, + "list_directory": false, "now": true, "path_search": true, "read_file": true, @@ -659,15 +659,14 @@ "bash": true, "batch_tool": true, "code_symbols": true, - "copy_path": true, + "copy_path": false, "create_file": true, - "delete_path": true, + "delete_path": false, "diagnostics": true, "find_replace_file": true, - "edit_files": false, "fetch": true, - "list_directory": true, - "move_path": true, + "list_directory": false, + "move_path": false, "now": true, "path_search": true, "read_file": true,