After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 676452 - Please recognize man page URIs in text output
Please recognize man page URIs in text output
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2012-05-20 23:08 UTC by Lennart Poettering
Modified: 2012-05-22 22:26 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Lennart Poettering 2012-05-20 23:08:40 UTC 
It would be cool if gnome-terminal was able to recognize "man:kill(1)" style URIs in addition to mailto: and http:// URIs. Yelp can read those just fine, and it would be very useful if command line tools could output man page links that are actually clickable in gnome-terminal.

(For some background also see https://plus.google.com/115547683951727699051/posts/jKN6GkmAYD2 )
Comment 1 Christian Persch 2012-05-22 18:15:37 UTC 
Fixed on master and gnome-3-4. Also added info: support at the same time.
Comment 2 Behdad Esfahbod 2012-05-22 22:13:49 UTC 
What's the default action?
Comment 3 Behdad Esfahbod 2012-05-22 22:25:31 UTC 
Yelp I guess, nevermind.
Comment 4 Christian Persch 2012-05-22 22:26:32 UTC 
It just uses the same thing as all the other URIs: gtk_show_uri(), which probably invokes yelp on it. (There's a bug in yelp that makes this not correctly work for all man: URIs yet; bug 676482).