Bug 136877 – adding local info pages to INFOPATH

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Benno Schulenberg 2006-06-15 04:37:15 UTC]

The file /etc/env.d/00basic puts the local man pages into the search path, but not the local info pages.  Attached patch changes this.

It uses "/usr/local/info" and not "/usr/local/share/info", because the first is where grep and nano install their info pages (when locally installed).  But maybe the second one is more correct.

[Comment 1 Benno Schulenberg 2006-06-15 04:38:09 UTC]

Created attachment 89241 [details, diff]
adds /usr/local/info to INFOPATH

[Comment 2 SpanKY 2006-06-15 20:18:54 UTC]

no, /usr/local/share/info is the proper location

[Comment 3 Benno Schulenberg 2006-06-16 03:02:51 UTC]

Created attachment 89292 [details, diff]
adds /usr/local/share/info to INFOPATH

Then please add that one -- /usr/local/share/info -- as it is nowhere in the current default INFOPATH.

[Comment 4 Benno Schulenberg 2006-06-16 03:13:30 UTC]

Reopening, see above.

[Comment 5 SpanKY 2006-06-17 01:22:02 UTC]

Comment on attachment 89292 [details, diff]
adds /usr/local/share/info to INFOPATH

no, a better idea would be to drop INFOPATH from 00basic completely and update the env-update stuff to append ':' to INFOPATH if set

`info` adds a ton of default stuff when INFOPATH is not set or it ends in :

[Comment 6 Benno Schulenberg 2006-06-17 04:10:01 UTC]

That would be cool, but it doesn't work here.  After unsetting INFOPATH, 
`info nano` gives the page from /usr/share, not the one from /usr/local.  
Same thing when making it end with a ":".