filesystem edit_file

[boorich]

Pre-submission Checklist

• I have checked that this question would not be more appropriate as an issue in a specific repository
• I have searched existing discussions and documentation for answers

Question Category

• Protocol Specification
• SDK Usage
• Server Implementation
• General Implementation
• Documentation
• Other

Your Question

The filesystem docs say that files can be selectively edited using edit_file. I have been checking the tools but I can't find (and therefore use) this function. I can see this being implemented, but it is not available. Can someone tell me what I am missing?