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.
This commit is contained in:
parent
569f2c803d
commit
26f6b74e02
@ -35,7 +35,7 @@ Notes:
|
||||
Per-agent override: `agents.list[].tools.profile`.
|
||||
|
||||
<Note>
|
||||
**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`).
|
||||
</Note>
|
||||
|
||||
Profiles:
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user