etf.awk revision 290001 
1# program to produce external time/frequence statistics from clockstats files
2#
3# usage: awk -f etf.awk clockstats
4#
5# format of input record
6# 49165 40.473 127.127.10.1 93:178:00:00:39.238 ETF
7# +175.0 +176.8 2.0 +3.729E-11 +1.000E-10 +3.511E-11 4.005E-13 500
8#
9# format of output record (time values in nanoseconds)
10#  MJD      sec      time    freq
11# 49165    40.473   175.0  3.729e-11
12#
13# select ETF records with valid format
14{
15	if (NF >= 9 && $5 == "ETF") {
16		printf "%5s %9.3f %7.1f %10.3e\n", $1, $2, $6, $9
17	}
18}
19
20