Sergei Golovan writes ("Re: dash bug which is affecting release goal"):
> Expression ${1+"$@"} means "if $1 exists use "$@", otherwise nothing".
> It's a workaround for a bug in some old bash version which erroneously
> converted "$@" in case of empty command line into a single empty
> argument. I think in new releases it isn't necessary to account for
> this.Ah. I haven't encountered that bug. Was it in any recently released version. I don't think we should be worrying about it now, surely ? Ian. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
