ref: 9e1f7d750e447544d6893712d1bc25ba5d93e010
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 }