25 Jul
2020
25 Jul
'20
12:29 a.m.
On Mon, Jul 20, 2020, at 14:07, Will Senn wrote:
On 7/20/20 12:52 PM, Clem Cole wrote:
For whatever it's worth, you can do the exact same thing as vi with sed in this case:
1,/====/d
I wasn't there, so I can't say if this was done in practice or if there was even
enough uniformity in the markers for it to be reliable in theory [perhaps /^#!/,$p ?]
On Mon, Jul 20, 2020 at 1:25 PM Will Senn <will.senn(a)gmail.com> wrote:
Nice, seemed easy enough to me, but I was expecting real Unix folks use
sed | awk | indent type answers. My questions for y'all are how would you go
about doing this? Use vi to delete everything through the ==== cut here line?
Yep