Summary: | adding local info pages to INFOPATH | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Benno Schulenberg <bensberg> |
Component: | Current packages | Assignee: | Gentoo's Team for Core System packages <base-system> |
Status: | CONFIRMED --- | ||
Severity: | enhancement | CC: | jstein |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: |
adds /usr/local/info to INFOPATH
adds /usr/local/share/info to INFOPATH |
Description
Benno Schulenberg
2006-06-15 04:37:15 UTC
Created attachment 89241 [details, diff]
adds /usr/local/info to INFOPATH
no, /usr/local/share/info is the proper location 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.
Reopening, see above. 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 :
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 ":". |