Search Results

gawk 'BEGIN {
for (i = 1; i < 13; ++i)
m[strftime("%b", mktime("2012 " i " 1 0 0 0"))] = i
FS = "[ :,]+"
}
/all:/ {
print mktime($8 " " m[$2] " " $3 " " $4 " " $5 " " $6)
}'

awk understands tokens, which lets you do things on 'the third column' instead of a big regex with width specifiers, so I'd use it here to make things simpler.

awk '{ sub(/,/, "|~|", $6); # Change...