这个问题在这里已有答案：
我试图在HTML中打印服务器名称我使用awk -v编写下面的代码来执行此操作，但服务器名称不打印。
awk -v server="${svr}" 'BEGIN{
FS=","
print "==============================\n"
printf "<h2>ServerName : ${server}</h2>"
print "=============================="
print "<HTML>""<TABLE border="1">"
}
{
printf "<TR>"
for(i=1;i<=NF;i++)
{
printf "%s", "<td"
if ($i+0==2) printf " bgcolor=#FF3333"
else if ($i+0==1) printf " bgcolor=#FFCC33"
else if ($i+0==4) printf " bgcolor=#99FF33"
print ">" $i "</td>"
}
print "</TR>"
}
END{
print "</TABLE></BODY></HTML>"
}
它是打印ServerName : ${server}请让我知道我错过了什么。
以这种方式使用：
print "servername:" server
要么：
printf "foo: %s bar", server