replace_lines
Replace a specified range of lines in a file with new content, ensuring verification via prior file read. Ideal for precise file edits within codebases.
Instructions
Replaces the given range of lines in the given file.
Requires that the same range of lines was previously read using the read_file tool to verify correctness
of the operation.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| content | Yes | The content to insert. | |
| end_line | Yes | The 0-based index of the last line to be deleted. | |
| relative_path | Yes | The relative path to the file. | |
| start_line | Yes | The 0-based index of the first line to be deleted. |
Input Schema (JSON Schema)
{
"properties": {
"content": {
"description": "The content to insert.",
"title": "Content",
"type": "string"
},
"end_line": {
"description": "The 0-based index of the last line to be deleted.",
"title": "End Line",
"type": "integer"
},
"relative_path": {
"description": "The relative path to the file.",
"title": "Relative Path",
"type": "string"
},
"start_line": {
"description": "The 0-based index of the first line to be deleted.",
"title": "Start Line",
"type": "integer"
}
},
"required": [
"relative_path",
"start_line",
"end_line",
"content"
],
"title": "applyArguments",
"type": "object"
}