On Thu, Nov 01, 2007 at 06:31:22 -0700, David Fox wrote:
> On Nov 1, 2007 5:49 AM, Florian Kulzer wrote:
> >
> > ~/.bash_profile does this by default nowadays:
> >
> > # set PATH so it includes user's private bin if it exists
> > if [ -d ~/bin ] ; then
> > PATH=~/bin:"${PATH}"
> > fi
> >
>
> That's not as secure as putting the ~/bin part at the end.
There is already an open bug report about handling ~/bin:
#379696: ~/bin handled incorrectly in .bashrc and .bash_profile
(Outstanding bugs - Normal bugs; Unclassified)
We could add the suggestion to put it at the end of $PATH instead of in
front.
--
Regards, | http://users.icfo.es/Florian.Kulzer
Florian |
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
