ref: 3d67aef1674ebfcc63bac043711f14ddd4765c94
dir: ircs/irctime
#!/bin/awk -f
# irctime: convert ircs timestamps to ISO 8601 format
BEGIN {
mon["Jan"] = "01"
mon["Feb"] = "02"
mon["Mar"] = "03"
mon["Apr"] = "04"
mon["May"] = "05"
mon["Jun"] = "06"
mon["Jul"] = "07"
mon["Aug"] = "08"
mon["Sep"] = "09"
mon["Oct"] = "10"
mon["Nov"] = "11"
mon["Dec"] = "12"
}
/^-- / {
dd = $3
mm = mon[$4]
yyyy = $5
next
}
{
print yyyy "-" mm "-" dd "T" $0
}