On Sat, Feb 22, 2003 at 11:11:42AM +0000, Jonathan Matthews wrote:
> Perhaps both:
>
> It /was/ in quotes in .bash_profile (I'm sure I'm using the stock potato
> .bash_profile), and also had ~/bin rather than $HOME/bin.
>
> I've corrected both, though I'm slightly worried that the quotes were
> there for a reason - perhaps to cater for spaces in directory names?
>
> Obviously not a great idea, but would 'PATH="$HOME/bin:$PATH"' do this?
> Would it let you have, say, "$HOME/binary files" in there without
> barfing?
Yes, it would, or you could vary your old setting slightly like this:
PATH=~/bin:"${PATH}"
woody's skeleton .bash_profile does this. See
http://bugs.debian.org/67714 and the changelog entry for bash 2.04-7.
Cheers,
--
Colin Watson [EMAIL PROTECTED]
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
