Subject: Re: PR#726
To: None <tech-userlevel@NetBSD.ORG>
From: der Mouse <mouse@Collatz.McRCIM.McGill.EDU>
List: tech-userlevel
Date: 01/14/1996 08:02:45
> this PR says that /usr/local/bin should be added to root's $PATH
> because /usr/local/man is in the default man path.

I agree with the implicit statement that execution path and manpage
path should agree.

> i disagree with this and think the PR should be closed -- i don't
> want root exposed to "random" programs that could be in
> /usr/local/bin.  i'd prefer just the system directories in there.

I'm also inclined to agree with this sentiment.

I think the correct fix is to remove /usr/local/man from the manpath
(and then close out the PR).

					der Mouse