#!/bin/sh

# Convert date and time (see date(1)) in the format %a %b %e %T %Y to
# a number so that date/times will be in numerical order.

tr ':' ' ' | awk 'BEGIN {month["Jan"]="01";month["Feb"]="02";month["Mar"]="03";month["Apr"]="04";month["May"]="05";month["Jun"]="06";month["Jul"]="07";month["Aug"]="08";month["Sep"]="09";month["Oct"]="10";month["Nov"]="11";month["Dec"]="12"}\
     {print $7 month[$2] $3 $4 $5 $6}'