man path problems
I've just noticed that my MANPATH variable (automatically set by zsh)
wasn't exported. Probably a bug in zsh... This explains why it isn't
used.
But the problem is that it was using a broken path and I don't like
that. I'd prefer that it returned nothing and used something more
sensible like the 'manpath' command:
$ man -aw java
/usr/local/j2sdk1.3.1/man/man1/java.1.gz
/usr/share/man/man1/kaffe.1.gz /var/cache/man/cat1/kaffe.1.gz
but
$ manpath
/home/lefevre/man:/usr/local/man:/usr/share/man:/usr/X11R6/man:/usr/local/j2sdk1.3.1/man
Why doesn't 'man' use something sensible?
--
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
Reply to: