[gawk] Timestamp met punt uitlezen

[Blubber]

Ik wil een email logbestanden uitlezen, de timstamps staan er echter in met een punt

code:

m 1004095562.490061500 1004095562.679533500 2961 1 0 0 < [e-mail] > 11936 81

Hoe zet ik deze om in 'normale' tijd?

[Verwijderd]

Ik neem aan dat alles achter de punt in een timestamp tijden kleiner dan een seconde uitdrukken. Dan is het niet zo moeilijk:

code:

function print_date(timestamp,   idx) {
  idx = index(timestamp, ".")
  print strftime("%d-%m-%Y %H:%M:%S", substr(timestamp, 1, idx - 1)) "." int(substr(timestamp, idx) * 10000)
}

BEGIN {
  print_date("1004095562.490061500")
}

(Let erop dat de timestamp een string moet zijn, dus evt. "" appenden.)