On 7/24/20 1:29 PM, Random832 wrote:
On Mon, Jul 20, 2020, at 14:07, Will Senn wrote:
On 7/20/20 12:52 PM, Clem Cole wrote:

On Mon, Jul 20, 2020 at 1:25 PM Will Senn <will.senn@gmail.com> wrote:
My questions for y'all are how would you go about doing this? Use vi to delete everything through the ==== cut here line? 
Yep
Nice, seemed easy enough to me, but I was expecting real Unix folks use 
sed | awk | indent type answers. 
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 ?]
I'm just getting comfortable using sed, thanks for the simplification.

Will

-- 
GPG Fingerprint: 68F4 B3BD 1730 555A 4462  7D45 3EAA 5B6D A982 BAAF