>Date: Sun, 14 Jan 1996 22:56:48 +1100
>From: matthew green <mrg@eterna.com.au>

>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 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.
>
>anyone else have comments ?

I agree.  If root wants /usr/local in the PATH then he (she) can add
it manually.
-- 
Mike Long <mike.long@analog.com>           http://www.shore.net/~mikel
VLSI Design Engineer         finger mikel@shore.net for PGP public key
Analog Devices, CPD Division          CCBF225E7D3F7ECB2C8F7ABB15D9BE7B
Norwood, MA 02062 USA       (eq (opinion 'ADI) (opinion 'mike)) -> nil