dream_weasel, 11 months ago

Seems like the right side should be classic terminal tools like ed. Or any other cat/echo/etc where you change the contents of the file without opening it (or all of it) directly.