[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: |
Sat, 11 Feb 2023 15:05:40 -0500 (EST) |
Follow-up Comment #9, bug #63768 (project groff):
I still would've preferred a simpler and more supple solution, such as
.ds1 man-scheme-format man:\\$1(\\$2)\"
.ds1 man-scheme-format x-man-page://\\$2/\\$1\"
\*[man-scheme-format printf 3]
... with the default value varying depending on whether Groff was built on
macOS or some other system (defined at compile time). This approach would
treat `man-scheme-format` as a SSOT, shared by man(7), mdoc(7), and any other
package that groks hyperlinked man-page references…
Ah well.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63768>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #63768] Configurable URL scheme for man page hyperlinks, (continued)
- [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, 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 <=
- [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
- [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