To match dates you can use a format like YYYYMMDDHH, an example to convert the date format
Mar 17 16:44:03 2009 to
2009031716
Code:
echo "Mar 17 16:44:03 2009"|
awk -F" |:" '
BEGIN {
a="Jan,Feb,Mar,Apr,May,Jun,Jul,Aug,Sep,Oct,Nov,Dec"
split(a,m,",")
for(i=1;i<13;i++)
n[m[i]]=i
}
{printf("%s%02d%02d%s\n", $6, n[$1], $2, $3)}
'