From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_IN_DNSWL_NONE
	autolearn=ham autolearn_force=no version=3.4.4
Received: (qmail 5754 invoked from network); 6 Dec 2020 00:35:32 -0000
Received: from ewsd.inri.net (107.191.116.128)
  by inbox.vuxu.org with ESMTPUTF8; 6 Dec 2020 00:35:32 -0000
Received: from 104.59.85.219 ([104.59.85.219]) by ewsd; Sat Dec  5 19:33:35 -0500 2020
Date: Sat, 05 Dec 2020 19:33:30 -0500
In-Reply-To: <0AA95C236BB3F37543EC1DCFD4360549@eigenstate.org>
References: <0AA95C236BB3F37543EC1DCFD4360549@eigenstate.org>
MIME-Version: 1.0
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable
To: 9front@9front.org
From: Stanley Lieber <sl@stanleylieber.com>
Message-ID: <886EE2CD-2783-46A4-8BED-B1E2F79B006F@stanleylieber.com>
List-ID: <9front.9front.org>
List-Help: <http://lists.9front.org>
X-Glyph: ➈
X-Bullshit: generic CSS base hosting-based backend 
Subject: Re: [9front] proof and page
Reply-To: 9front@9front.org
Precedence: bulk

On December 5, 2020 7:19:52 PM EST, ori@eigenstate=2Eorg wrote:
>Quoth Stuart Morrow <morrow=2Estuart@gmail=2Ecom>:
>> Probably the reason for the semicolon was it's actually a sentence
>> that way=2E So I followed that line of thought with my '--'=2E
>>=20
>> Anyway, I was in proof (quite a few days ago now, sorry for delay)
>> making it consistent with what I did to page (don't know why I didn't
>> think to do that earlier, when the whole point of the page patch was
>> consistency) and now I think we should just delete proof, at least
>> provided nobody claims to use it=2E The whole thing is bugs=2E Easy to
>> fix, but still=2E It doesn't do anything that page doesn't do better=2E
>>=20
>> Here's what would need to change:
>>=20
>> man (delete -p or alias it to -P)
>> man(1)
>> troff(1)
>> rio(1), which inexplicably references proof(1)=2E
>>=20
>> Executables stick around after the source is gone (I still have
>> ape/mv|cp), so I would want the deletion of cmd/proof to be on a
>> time-delay, so that that one last bug fix ('illegal;') can mk install
>> for everyone=2E
>>=20
>> Stuart
>>=20
>
>I'm ok with this, as long as nobody else objects=2E

i don't use proof at all=2E

sl