[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #63768] want configurable URL format for man page hyperlinks
From: |
G. Branden Robinson |
Subject: |
Re: [bug #63768] want configurable URL format for man page hyperlinks |
Date: |
Fri, 10 Feb 2023 18:48:50 -0600 |
Hi John,
Savannah seems to be down so I'm replying directly to you and the list.
At 2023-02-10T18:20:33-0500, John Gardner wrote:
> Follow-up Comment #6, bug #63768 (project groff):
>
> [comment #5 comment #5:]
> > Waiting on feedback from John.
>
> Refresh my memory: what do you need feedback on, again?
Please try the patch in
https://lists.gnu.org/archive/html/groff/2023-02/msg00021.html
and see if it (1) still produces valid "man:foo(1)" links by default (it
does for me) and (2), if you select "format 2" in the man.local file as
installed, if it produces working man page hyperlinks in Terminal.app.
Thank you!
Regards,
Branden
signature.asc
Description: PGP signature
- [bug #63768] Configurable URL scheme for man page hyperlinks, John Gardner, 2023/02/06
- [bug #63768] Configurable URL scheme for man page hyperlinks, G. Branden Robinson, 2023/02/06
- [bug #63768] Configurable URL scheme for man page hyperlinks, John Gardner, 2023/02/06
- [bug #63768] want configurable URL scheme for man page hyperlinks, G. Branden Robinson, 2023/02/06
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/07
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/09
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/10
- Re: [bug #63768] want configurable URL format for man page hyperlinks,
G. Branden Robinson <=
- Re: [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/11
- Re: [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/11
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/11
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/11
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/11
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/11
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/11
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/16
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/17
- [bug #63768] want configurable URL format for man page hyperlinks, John Gardner, 2023/02/17