[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:34:49 -0500 (EST) |
Follow-up Comment #11, bug #63768 (project groff):
[comment #10 comment #10:]
> I didn't want to over-engineer this feature, as I feel it is a band-aid.
Then why support two highly obscure URL schemes (formats 2-3) that were only
ever used by third-party software unaffiliated with Apple, none of which even
works with recent macOS releases?
I'm not interested in proliferating multiple URL formats either, but the
string I suggested would essentially function like an escape hatch for anybody
*needing* to override it (think: porters and weird exotic systems). The
default would be selected at build-time, and it doesn't need to be any more
complicated than that. Hell, it need not make an appearance in man.local.
_______________________________________________________
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/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, 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, 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