New answers tagged

0

If you have GNU awk (gawk), which is usually the case on non-embedded Linux and Cygwin, then you can use the strftime function. if (match($0, /^(.*timestamp=)([0-9]+)(.*)$/, parts)) { time = strftime("%F %T", parts[2]); $0 = parts[1] time parts[3]; } On an embedded system with BusyBox, you may have a more restricted version of awk but a date ...


0

Discarding colours - you may use: # | piped at the end awk -F'SET timestamp=' 'NF > 1{ system("date -d @" $2) }' Stripping the colours out in-line with the reset makes it more challenging; I suspect that you can control / adjust that by removing the end included escape sequences that relate to the timestamp portion.


3

A problem is that most documents do not use a vocabulary which can distinguish time scales without sentences of ambiguity. I suggest http://www.ucolick.org/~sla/leapsecs/picktwo.html as introduction to the problem that in historic use there are two unrelated kinds of seconds -- one which is a subdivision of a calendar day for residents of Earth, and one ...



Top 50 recent answers are included