I have a program which logs like this:
1324218770.7644 INFO etc
What's the best Linux shell program to pipe that through to change the timestamps to a human readable format like Sun 18 Dec 2011 15:32:50 CET?
I can pipe like this through
| cut -f 1 -d\ | awk '{print strftime("%c",$1)}'
for the timestamps only, but how do I maintain the rest of the line?