20240301Friday ping服务器，把结果写入文件（带上时间戳）

很奇怪，用 ping+awk加时间戳，再重定向到文件，文件是空的。

ping www.baidu.com |awk '{print $0"\t" strftime("%H:%M:%S",systime())}'  >>123.txt

上面的命令，中断ping之后，123.txt文件为空。

ping www.baidu.com | while read pong; do echo “$(date): $pong”; done  >>123.txt

这个命令没问题。