Re: spaces in $0

[Ralf Wildenhues]

[ Cc:ing because the list server is so unreliable ATM; sorry ]

* Ralf Wildenhues wrote on Mon, Mar 20, 2006 at 08:29:48PM CET:
> * Paul Eggert wrote on Mon, Mar 20, 2006 at 07:47:57PM CET:
> > Ralf Wildenhues <address@hidden> writes:
> > 
> > > -  ' <$as_myself |
> > > +  ' <"$as_myself" |

> > These two changes aren't needed, since word splitting has never been
> > done on the targets of I/O redirection.
> 
> I don't understand:
> 
> $ foo='bar  baz'
> $ touch "$foo"
> $ cat <$foo
> bash: $foo: ambiguous redirect

D'oh.  Teaches me right to check the standard (which does explicitly
distinguish interactive and non-interactive behavior here).  Sorry for
the, umm, rather stupid reply.

> > Other than that, please install, and thanks.

Done, with those changes omitted.

Cheers,
Ralf