[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #63768] want configurable URL format for man page hyperlinks
From: |
John Gardner |
Subject: |
[bug #63768] want configurable URL format for man page hyperlinks |
Date: |
Thu, 16 Feb 2023 09:09:40 -0500 (EST) |
Follow-up Comment #12, bug #63768 (project groff):
If you're adamant about keeping the current approach, then I recommend that
you enumerate the supported URL formats in their order of priority:
* man:grep(1)
* x-man-page://1/grep
* man:grep.1
* x-man-doc://1/grep
Moreover, I'd begin counting from 0 instead of 1, so that we're not reliant on
the existence of the \n[an*MR-URL-format] register.
I'm still uncomfortable with this approach, however.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63768>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #63768] want configurable URL format for man page hyperlinks, (continued)
- [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, 2023/02/10
- 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 <=
- [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
- [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
- [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
- [bug #63768] want configurable URL format for man page hyperlinks, G. Branden Robinson, 2023/02/18