rename shell tool more intuitively as run_shell_command (from historical name of execute_bash_command inherited from terminal tool) (#869)

This commit is contained in:
Olcan
2025-06-09 08:57:30 -07:00
committed by GitHub
parent c55a1d9012
commit 87474e52d7
11 changed files with 70 additions and 70 deletions

View File

@@ -26,7 +26,7 @@ This documentation is organized into the following sections:
- **Tools:**
- **[Tools Overview](./tools/index.md):** A general look at the available tools.
- **[File System Tools](./tools/file-system.md):** Documentation for tools like `read_file`, `write_file`, etc.
- **[Shell Tool](./tools/shell.md):** Using the `execute_bash_command` tool.
- **[Shell Tool](./tools/shell.md):** Using the `run_shell_command` tool.
- **[Web Fetch Tool](./tools/web-fetch.md):** Using the `web_fetch` tool.
- **[Web Search Tool](./tools/web-search.md):** Using the `google_web_search` tool.
- **[Multi-File Read Tool](./tools/multi-file.md):** Using the `read_many_files` tool.