Because I sometimes install programs in my home directory, I use
INFOPATH to specify the system directories plus one in my home
directory. However, I get into trouble when system directories are
added or renamed.

If it were possible to extend the system path, e.g. by prefixing or
postfixing the INFOPATH with ":", or by having a flag to info that
simply prints out its compiled-in default path, I would be able to
avoid this problem.

strings /usr/bin/info | grep /usr/local

seems to be a way to find this information, but it's hardly reliable!

(I have also filed this as Debian bug

http://bugs.debian.org/446412

)

--
http://rrt.sc3d.org/ | pirate, n.  a politician of the seas (Bierce)


Reply via email to