如何使用awk打印双引号？

Question

我必须将以下包含双引号的文本附加到文件的特定行：

execfile(r"/'${path}'/'Template_${step_x}_${step_y}'/prova.py")

我尝试使用以下命令：

gawk -i inplace 'NR==20{print"execfile(r"/'${path}'/'Template_${step_x}_${step_y}'/prova.py")"}1' ${file}

但是我收到语法错误。我试图将\47或"\""用作双引号，但它们似乎不起作用。

Answer 1

您可以打印像这样的awk报价：

awk 'BEGIN{print "execfile(r\"/\047${path}\047/\047Template_${step_x}_${step_y}\047/prova.py\")"}'

execfile(r"/'${path}'/'Template_${step_x}_${step_y}'/prova.py")

因此，请始终转义双引号并使用\047打印单引号。