"Zeugswetter Andreas SB SD" <ZeugswetterA(at)spardat(dot)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