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