Neil J. Fergusson
fergusson at ca.metsci.com
Fri Jun 15 15:57:23 PDT 2001
My personal choice of solution:
if [ X$HASPROFILERUN != X1 ]; then
- Neil Fergusson
Carl Lowenstein wrote:
> > Date: Fri, 15 Jun 2001 10:36:56 -0700
> > To: kplug-list at kernel-panic.org
> > From: Bob La Quey <robertl1 at home.com>
> > Subject: Re: Trace login
> > In-Reply-To: <20010615093412.B24430 at linuxinside.com>
> > my .bash_profile includes a line
> > PATH=/usr/local/sbin:/user/sbin:/sbin:$PATH:$HOME/bin
> > immediately prior to executing this line
> > echo $PATH produces:
> > /usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin:
> > so the first three directories get replicated in
> > the final PATH. This is what was bugging me. I think
> > that the fix is probably to test for the directories
> > before adding them to the $PATH ... or just to say
> > "It really does not matter much" and ignore the problem.
> > Ok, so
> > if ! echo $PATH | grep "/usr/local/sbin" ; then
> > PATH="/usr/local/sbin:$PATH"
> > fi
> There has been a recent discussion of this topic on the net newsgroup
> comp.unix.shell under the title "Repeated setting of PATH in BASH".
> list archives http://www.ultraviolet.org
> To unsubscribe, send a message to the address shown in the list-unsubscribe
> header of this message.
More information about the KPLUG-List