shithub: ircs

ref: e978996babb834efb9d2de465c812e11178cc33a
dir: /irctime/

View raw version
#!/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
}