ref: 78db7421d889f5af90135445bbdd996a5243e07d
dir: /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 }