Subject: Re: PR#726
To: None <tech-userlevel@NetBSD.ORG>
From: der Mouse <mouse@Collatz.McRCIM.McGill.EDU>
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).