read
Extract specific lines from a text file using start and end line numbers. Returns a dictionary with line numbers and content, simplifying targeted text selection for editing.
Instructions
Read lines from the current file from start line to end line, returning them in a dictionary like {"lines":[[1,"text on first line"],[2,"text on second line"]]}. This makes it easier to find the precise lines to select for editing.
Args: start (int, optional): Start line number end (int, optional): End line number
Returns: dict: lines, start_line, end_line
Input Schema
Name | Required | Description | Default |
---|---|---|---|
end | Yes | ||
start | Yes |
Input Schema (JSON Schema)
{
"properties": {
"end": {
"title": "End",
"type": "integer"
},
"start": {
"title": "Start",
"type": "integer"
}
},
"required": [
"start",
"end"
],
"type": "object"
}