1# program to produce intewrnal time/frequence statistics from clockstats files 2# 3# usage: awk -f itf.awk clockstats 4# 5# format of input record 6# 49227 67.846 127.127.10.1 93:240:00:00:51.816 ITF 7# COCO 0 +2.0579E-07 -3.1037E-08 -7.7723E-11 +6.5455E-10 500.00 4.962819 8# 9# format of output record (time values in nanoseconds) 10# MJD sec time freq 11# 49227 67.846 +2.0579E-07 -7.7723E-11 12# 13# select ITF records with valid format 14{ 15 if (NF >= 10 && $5 == "ITF") { 16 printf "%5s %9.3f %7.1f %10.3e\n", $1, $2, $8 * 1e9, $10 17 } 18} 19 20