* Re: [9front] proof and page [not found] <CABB-WO_G4O29KAMOB5oq-P7CV_KgQeMMZnjc29tyJv1RwsH3Mw@mail.gmail.com> @ 2020-11-30 21:10 ` ori 2020-12-03 17:55 ` Stuart Morrow 0 siblings, 1 reply; 4+ messages in thread From: ori @ 2020-11-30 21:10 UTC (permalink / raw) To: 9front Quoth Stuart Morrow <morrow.stuart@gmail.com>: > proof: don't confuse ""(1) > > diff -r d072b459519d sys/src/cmd/proof/htroff.c > --- a/sys/src/cmd/proof/htroff.c Thu Nov 26 11:18:41 2020 -0800 > +++ b /sys/src/cmd/proof/htroff.c Thu Nov 26 22:40:31 2020 +0000 > @@ -550,7 +550,7 @@ > continue; > } > > - fprint(2, "illegal; try q, 17, +2, -1, p, m.7, /2, x1, y-.5 or return\n"); > + fprint(2, "illegal -- try q, 17, +2, -1, p, m.7, /2, x1, y-.5 or return\n"); > } > return 0; > } > Will look at the page patch later, but for this one, I'll commit with one change: '--' to ':' should avoid confusing "" and looks better to my eyes. Thanks for pointing it out. ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [9front] proof and page 2020-11-30 21:10 ` [9front] proof and page ori @ 2020-12-03 17:55 ` Stuart Morrow 2020-12-06 0:19 ` ori 0 siblings, 1 reply; 4+ messages in thread From: Stuart Morrow @ 2020-12-03 17:55 UTC (permalink / raw) To: 9front Probably the reason for the semicolon was it's actually a sentence that way. So I followed that line of thought with my '--'. 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. The whole thing is bugs. Easy to fix, but still. It doesn't do anything that page doesn't do better. Here's what would need to change: man (delete -p or alias it to -P) man(1) troff(1) rio(1), which inexplicably references proof(1). 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. Stuart ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [9front] proof and page 2020-12-03 17:55 ` Stuart Morrow @ 2020-12-06 0:19 ` ori 2020-12-06 0:33 ` Stanley Lieber 0 siblings, 1 reply; 4+ messages in thread From: ori @ 2020-12-06 0:19 UTC (permalink / raw) To: morrow.stuart, 9front Quoth Stuart Morrow <morrow.stuart@gmail.com>: > Probably the reason for the semicolon was it's actually a sentence > that way. So I followed that line of thought with my '--'. > > 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. The whole thing is bugs. Easy to > fix, but still. It doesn't do anything that page doesn't do better. > > Here's what would need to change: > > man (delete -p or alias it to -P) > man(1) > troff(1) > rio(1), which inexplicably references proof(1). > > 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. > > Stuart > I'm ok with this, as long as nobody else objects. ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [9front] proof and page 2020-12-06 0:19 ` ori @ 2020-12-06 0:33 ` Stanley Lieber 0 siblings, 0 replies; 4+ messages in thread From: Stanley Lieber @ 2020-12-06 0:33 UTC (permalink / raw) To: 9front On December 5, 2020 7:19:52 PM EST, ori@eigenstate.org wrote: >Quoth Stuart Morrow <morrow.stuart@gmail.com>: >> Probably the reason for the semicolon was it's actually a sentence >> that way. So I followed that line of thought with my '--'. >> >> 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. The whole thing is bugs. Easy to >> fix, but still. It doesn't do anything that page doesn't do better. >> >> Here's what would need to change: >> >> man (delete -p or alias it to -P) >> man(1) >> troff(1) >> rio(1), which inexplicably references proof(1). >> >> 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. >> >> Stuart >> > >I'm ok with this, as long as nobody else objects. i don't use proof at all. sl ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2020-12-06 0:35 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- [not found] <CABB-WO_G4O29KAMOB5oq-P7CV_KgQeMMZnjc29tyJv1RwsH3Mw@mail.gmail.com> 2020-11-30 21:10 ` [9front] proof and page ori 2020-12-03 17:55 ` Stuart Morrow 2020-12-06 0:19 ` ori 2020-12-06 0:33 ` Stanley Lieber
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).