gawkで時間をミリ秒で2回読むにはどうすればいいですか？

Question

Gawkはmilisecの開始時間と終了時間を取得しようとしています。 1番目の "echo％time％" | getline startT、 は魅力的です。 2番目の "echo％time％" | getline stopT、 NADA。何らかの理由で2番目の％time％が機能しません。 ......どのようなアイデアですか？ありがとう、ジョー

Answer 1

例 BEGIN { "echo％time％" | getline t1 "echo％time％" | getlineのT2

 print "t1="t1" t2="t2 

}

これは 、T1 = 9 yeilds：36： を使用して12.60 T2 =

を「（今私は システムを使用しているため Windows環境

をgawkはエコー％時間％> starttime.txt "） getline P_start <" starttime.txt "