GNOME Bugzilla – Bug 349473
info pages in Yelp (search shortcut)
Last modified: 2007-08-07 21:16:57 UTC
Forwarded from: https://launchpad.net/distros/ubuntu/+source/yelp/+bug/54430 I'm using Yelp 2.14.2 with Ubuntu 6.06 LTS I sometimes write things like "man apt-get" in the search textbox I think it could be a good idea to have such a shortcut for info pages for example writting "info make" will show the info page of make yes "info:make" works fine but I wonder why "man:make" and "man make" are working both but not "info make" That's just a minor feature to add in Yelp...
When I implemented the "man <foo>" etc. in the search bar, I thought about adding "info <foo>". However, I could imagine in some circumstances someone might search for "info about CDs" or some such. Doing that would lead to a "info file not found" dialog if "info <foo>" went directly to the info page - which may confuse people. Admittedly, it is a corner case, and probably wouldn't happen, but the "man:<foo>", "info:<foo>" and "man <foo>" are supposed to be hidden features. I'm open to changing it, if people (i.e. shaunm or smitten) decide the corner is sufficiently small that it wouldn't pose a problem. Anyone?
Maybe trigger it on "info <one word>"? :-)
Hello, I'm sorry but there is still a problem with this ! Now (Ubuntu Feisty) Yelp 2.18.1 Search: info:make doesn't show the info page of make... but the man page... (make-doc package is installed) I really think that browsing info and man page using a Gnome app is a good thing... (for info file that's necessary !) it should be also very useful to add symbolic link in /etc/alternatives for x-man and x-info that could point to yelp... see my request about alternatives for man and info at https://bugs.launchpad.net/ubuntu/+bug/119806
(In reply to comment #2) > Maybe trigger it on "info <one word>"? :-) This has now been done in yelp 2.19.(x > 1) / SVN Head. (In reply to comment #3) > Hello, > > I'm sorry but there is still a problem with this ! > Now (Ubuntu Feisty) Yelp 2.18.1 > Search: info:make > doesn't show the info page of make... but the man page... > (make-doc package is installed) This happens when yelp can't find the requested info page. Yelp reads available info pages from the appropriate "dir" file in /usr/share/info/dir (normally). If the command isn't there, it will fall back to man page. > > > I really think that browsing info and man page using a Gnome app is a good > thing... (for info file that's necessary !) > it should be also very useful to add symbolic link in /etc/alternatives > for x-man and x-info that could point to yelp... This is a non-GNOME problem (probably an Ubuntu issue) The main issue is fixed. If you think yelp should be finding the make info page, please open a separate bug and attach you're /usr/share/info/dir file and I'll look into it. Thanks.