Re: RC1?

"Zeugswetter Andreas SB SD" <ZeugswetterA@spardat.at> writes:
> Why use awk for this at all ? and not:
> echo "\\set ECHO all"

I think Bruce is worried about portability; some versions of echo might
do something weird with the backslash.  OTOH, it's not obvious to me
that awk is better on that score.  Bruce?
        regards, tom lane