diff options
Diffstat (limited to 'man/1/timestamp')
| -rw-r--r-- | man/1/timestamp | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/man/1/timestamp b/man/1/timestamp new file mode 100644 index 00000000..ab3900dc --- /dev/null +++ b/man/1/timestamp @@ -0,0 +1,36 @@ +.TH TIMESTAMP 1 +.SH NAME +timestamp \- log event times +.SH SYNOPSIS +.B timestamp +[ +.I tag +] +.SH DESCRIPTION +.I Timestamp +reads lines from its standard input and writes them to its +standard output, prefixing each line with the time that +it was written, in decimal milliseconds since +.I timestamp +was started. If +.I tag +is given, it is written along with the time stamp on each line, +to enable tagging if several writers are each writing +to the same log file. +.PP +The first line written gives the time that +.I timestamp +was started, in milliseconds since the epoch. +Note that logging events can cause timings to change, +and that the timestamps are only as accurate as the +times reported by +.BR /dev/time . +.SH SOURCE +.B /appl/cmd/timestamp.b +.SH EXAMPLE +.EX +% {echo hello; sleep 1; echo goodbye} | timestamp eg +0000000000 eg start 1080156139468 +0000000007 eg hello +0000000988 eg goodbye +.EE |