"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