8 diff -n $2/index.txt $1/index.txt | awk -F'[\/ :]' '
10 getA = "cat "$5"/current | sed -n -e ''1d; /^A/s/^A//p; /^#/q''"
11 getA | getline A; close getA
14 print "\n" A ":\n" $1":"$3" "$4" "$5":"$7
20 c = "date "t; c|getline l; close c
22 return a[1]" "a[2]" "a[3]" "a[4]":"a[5]" "a[8]"("t")"
27 echo clean >/dev/ctl >[2]/dev/null