Error in the https://opencode.ai/docs/tools/#write docs #8600

Closed
opened 2026-02-16 18:10:21 -05:00 by yindo · 2 comments
Owner

Originally created by @rnestler on GitHub (Feb 5, 2026).

Originally assigned to: @jayair on GitHub.

The json config snippet mentions the edit tool.

Originally created by @rnestler on GitHub (Feb 5, 2026). Originally assigned to: @jayair on GitHub. The json config snippet mentions the `edit` tool.
yindo added the docs label 2026-02-16 18:10:21 -05:00
yindo closed this issue 2026-02-16 18:10:21 -05:00
Author
Owner

@github-actions[bot] commented on GitHub (Feb 5, 2026):

Thanks for reporting this! I've searched through existing issues and found no exact duplicates of this specific documentation error.

However, I found several related documentation issues in the tools section that share similar patterns:

  • #9819: Skill path mismatch documentation error
  • #4420: Edit tool docs don't mention ripgrep requirement
  • #6892: MCP tool permissions documentation gap
  • #10343: Custom tools path documented incorrectly (now closed)

These suggest there may be a broader documentation maintenance opportunity in the tools section. This particular issue about the json config snippet mentioning the wrong tool appears to be unique and worth fixing.

@github-actions[bot] commented on GitHub (Feb 5, 2026): Thanks for reporting this! I've searched through existing issues and found no exact duplicates of this specific documentation error. However, I found several related documentation issues in the tools section that share similar patterns: - #9819: Skill path mismatch documentation error - #4420: Edit tool docs don't mention ripgrep requirement - #6892: MCP tool permissions documentation gap - #10343: Custom tools path documented incorrectly (now closed) These suggest there may be a broader documentation maintenance opportunity in the tools section. This particular issue about the json config snippet mentioning the wrong tool appears to be unique and worth fixing.
Author
Owner

@rnestler commented on GitHub (Feb 13, 2026):

I thinks it's actually correct since now there is a banner mentioning that the edit permission is used for various tools:

Image
@rnestler commented on GitHub (Feb 13, 2026): I thinks it's actually correct since now there is a banner mentioning that the `edit` permission is used for various tools: <img width="797" height="109" alt="Image" src="https://github.com/user-attachments/assets/7a10767e-0718-4eea-8e6c-0d81468c5a94" />
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: anomalyco/opencode#8600