edit_file
Modify text files by replacing specific line sequences with new content. Generate git-style diffs to preview or confirm changes. Operates within restricted directories for controlled file editing.
Instructions
Make line-based edits to a text file. Each edit replaces exact line sequences with new content. Returns a git-style diff showing the changes made. Only works within allowed directories.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| dryRun | No | Preview changes using git-style diff format | |
| edits | Yes | ||
| path | Yes |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"dryRun": {
"default": false,
"description": "Preview changes using git-style diff format",
"type": "boolean"
},
"edits": {
"items": {
"additionalProperties": false,
"properties": {
"newText": {
"description": "Text to replace with",
"type": "string"
},
"oldText": {
"description": "Text to search for - must match exactly",
"type": "string"
}
},
"required": [
"oldText",
"newText"
],
"type": "object"
},
"type": "array"
},
"path": {
"type": "string"
}
},
"required": [
"path",
"edits"
],
"type": "object"
}