Hi,
a couple of years ago, I asked whether it was possible to typeset the
information about runtime that I get at the end of the context run. Hans
provided an answer
(https://www.mail-archive.com/ntg-context@ntg.nl/msg90554.html):
it's in the log file:
local data = io.loaddata("oeps.log") or ""
local pattern = "> runtime: ([%d%.]+) seconds, ([%d]+) processed pages, ([%d]+)
shipped pages, ([%d%.]+) pages/second"
local r, n, s, p = string.match(data,pattern)
print(r,n,s,p)
The information I get this way is inaccurate. The runtime (in seconds) I
see at the end of the run on the terminal:
5.635
vs. the value I get with the code:
0.660260200500488
I'm not sure whether something has changed with lmtx or if this was the
case before (the log file is being written to during the run, so this
may explain the difference?). So my question from then still stands: is
it possible to extract the real runtime somehow? I would like to write
it to a different file at the end of the run. What would be the best way
to do this?
All best
Thomas
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl /
https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive : https://github.com/contextgarden/context
wiki : https://wiki.contextgarden.net
___________________________________________________________________________________
