[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #63768] want configurable URL format for man page hyperlinks
From: |
G. Branden Robinson |
Subject: |
[bug #63768] want configurable URL format for man page hyperlinks |
Date: |
Sat, 11 Feb 2023 14:46:33 -0500 (EST) |
Update of bug #63768 (project groff):
Status: In Progress => Fixed
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #8:
commit 93fd4f9f5899cc9d5a0bb9c4f71373a2c00d80c7
Author: G. Branden Robinson <g.branden.robinson@gmail.com>
Date: Sat Feb 11 10:14:57 2023 -0600
[man]: Make multiple URL formats available.
* tmac/an.tmac: Add internal register `an*MR-URL-format` to select from
a few known formats of man page hyperlink. There are three known on
macOS, and one used everywhere else.
* tmac/man.local: Document this feature so macOS users can enjoy the OSC
8 hyperlink feature if their terminal application supports it.
I hope that this feature will be a temporary measure while macOS
implements support for the man page URL format used everywhere else in
the world.
Fixes <https://savannah.gnu.org/bugs/?63768>. Thanks to John Gardner
for the report, research, consultation, and testing.
_______________________________________________________
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, 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, 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 <=
- [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
- [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