如何在gawk中以毫秒两次读取时间

时间:2016-04-11 21:40:59

标签: time gawk milliseconds

Gawk试图在milisec的开始和结束时节省时间。 第1个“echo%time%”| getline startT, 奇迹般有效。 第二个“回声%时间%”| getline stopT, nilds NADA。由于某种原因,第二个%time%不起作用。 ......有任何想法吗?谢谢,乔

1 个答案:

答案 0 :(得分:0)

示例 开始{           “echo%time%”| getline t1           “echo%time%”| getline t2

      print "t1="t1"  t2="t2

}

这是你的事 t1 = 9:36:12.60 t2 =

使用

呆子 Windows环境

现在我正在使用     system(“echo%time%> starttime.txt”)     getline P_start< “starttime.txt”