Skip to content

Instantly share code, notes, and snippets.

@crizCraig
Created February 12, 2026 21:05
Show Gist options
  • Select an option

  • Save crizCraig/8ac2c5067dfbf567a101c8173d3ccf0f to your computer and use it in GitHub Desktop.

Select an option

Save crizCraig/8ac2c5067dfbf567a101c8173d3ccf0f to your computer and use it in GitHub Desktop.
insert_lines /path/to/file.txt 5
new line 5
new line 6
Or if you want to change line 5 of a file, you can use a special command, update_lines [filename] [start_line_number] [end_line_number], followed by the new lines e.g.
update_lines /path/to/file.txt 5 5
updated line 5
new line 6
which will replace line 5 with "updated line 5" and add "new line 6" after it.
Or if you want to delete line 5 of a file, you can use a special command, delete_lines [filename] [start_line_number] [end_line_number] e.g.
delete_lines /path/to/file.txt 5 6
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment