diff options
| author | Charles.Forsyth <devnull@localhost> | 2006-12-22 20:52:35 +0000 |
|---|---|---|
| committer | Charles.Forsyth <devnull@localhost> | 2006-12-22 20:52:35 +0000 |
| commit | 46439007cf417cbd9ac8049bb4122c890097a0fa (patch) | |
| tree | 6fdb25e5f3a2b6d5657eb23b35774b631d4d97e4 /man/1/timestamp | |
| parent | 37da2899f40661e3e9631e497da8dc59b971cbd0 (diff) | |
20060303-partial
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 |