From 26f6b74e022594b102bf117bd936bbf340393a77 Mon Sep 17 00:00:00 2001 From: elliotllliu <55885132+elliotllliu@users.noreply.github.com> Date: Sat, 21 Mar 2026 04:14:18 +0000 Subject: [PATCH] docs: remove exec from missing-tools note exec is included in group:runtime which is part of the coding profile, so it would not be missing after upgrading. Only web_fetch and browser (part of group:web) are actually absent from the coding profile. Addresses greptile review feedback. --- docs/tools/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/tools/index.md b/docs/tools/index.md index 69525a307cd..faa1b5d1e9d 100644 --- a/docs/tools/index.md +++ b/docs/tools/index.md @@ -35,7 +35,7 @@ Notes: Per-agent override: `agents.list[].tools.profile`. -**2026.3.2 default change:** Local onboarding now defaults previously-unset configs to `tools.profile: "coding"` rather than leaving the profile unset (which behaves like `full`). Existing explicit profile values are preserved. If tools like `exec`, `web_fetch`, or `browser` seem missing after upgrading, check your `tools.profile` setting. For wider session-tool visibility, use `tools.sessions.visibility` (not `sessions.visibility`). +**2026.3.2 default change:** Local onboarding now defaults previously-unset configs to `tools.profile: "coding"` rather than leaving the profile unset (which behaves like `full`). Existing explicit profile values are preserved. If tools like `web_fetch` or `browser` seem missing after upgrading, check your `tools.profile` setting — `exec` is still available via `group:runtime` in the `coding` profile. For wider session-tool visibility, use `tools.sessions.visibility` (not `sessions.visibility`). Profiles: