Hi Branden, On 12/19/22 17:59, G. Branden Robinson wrote:
[dropping Deri and groff@] At 2022-12-19T17:39:37+0100, Alejandro Colomar wrote:Would you mind sending a patch that I can apply with git? I could manually edit the file you attached, but I'm feeling lazy for that :\Damn. Our lazinesses are duelling. :P
:PI actually wonder how producing such a diff was simpler than just copying the output of git diff...
BTW, I still plan releasing man-pages-6.02 in a two days, and feel confident enough about the string changes (modulo a few tweaks that I'll apply) to ship them in it. If you have any comments about them, please voice them :)
Yes, I'll do it. Maybe today, maybe later this week.
Sure. I don't think we can say this is an RC bug 22 years after the page was last updated in actual content (rather than minor updates from Michael, mostly as part of global fixes).
I have a patch for an extension that wasn't covered by this file. I'm guessing pkg-config wasn't invented when this page was written? That's really old... It seems the page goes back to man-pages 1.0 (with some additions later; mostly in 1.21).The last person credited as changing it in the file itself, as you no doubt saw,
Actually, I didn't. I'm so used to git log, that I usually forget to check page headers. Especially now that I have access to the entire history (no authors, but at least versions and times).
BTW, I agree with you that the reversed history is a bit weird and confusing. I thought of a new method that would connect both histories while keeping a forward history:
A separate orphan branch in normal order, starting at 1.0, which ends at 1.70. And then git allows merging orphan branches, so I can create a merge commit between both 1.70 commits, which of course is a no-op, but one that tells git where and how these branches join.
was David Wheeler (no, the other one)
Didn't know of the other David Wheeler.
in 2000. I think that does antedate pkg-config.
According to wikipedia, pkg-config(1)'s initial release is also from 2000. So, yes, probably it wasn't widely known at the time.
Regards, Branden
Cheers, Alex -- <http://www.alejandro-colomar.es/>
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature
