Hi Tim, Do these lines help you?
>echo Hello | awk '{print "\${MID}"}'
awk: warning: escape sequence `\$' treated as plain `$'
${MID}
>echo Hello | awk '{print "${MID}"}'
${MID}
Unfortunately I have no idea whether $ should be escaped or not. I was
unable to find an appropriate line in the gawk info pages.
Ralf _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
