Subject: Re: PR#726
To: der Mouse <mouse@Collatz.McRCIM.McGill.EDU>
From: Allen Briggs <>
List: tech-userlevel
Date: 01/14/1996 09:31:14
> I think the correct fix is to remove /usr/local/man from the manpath
> (and then close out the PR).

I disagree.  The manpath is global; root's path is local to root.
I like the fact that as a user, I can find local man pages w/o doing
anything special.  As a user, I have /usr/local/bin in my path.  I
don't want it there as root.

As shipped, man won't return anything that the root path can't find
since there's nothing in /usr/local/bin and /usr/local/man.  If a user
is savvy enough to install packages, they're savvy enough to learn about
paths and a modicum of security.


Allen Briggs - end killing - ** MacBSD == NetBSD/mac68k **
   Where does all my time go?  <a href="">Guess.</a>