Angus Leeming <[EMAIL PROTECTED]> writes: > On Thursday 11 July 2002 11:10 pm, David Kastrup wrote: > > That regexp looks _slow_. And I am surprised that the + should not > > be interpreted specially. How about > > ended\.(\(-?[0-9]*\)\+\(-?[0-9]+\)x\(-?[0-9]+\))/\1 \2 \3 \4/p;d" < > 1lyxpreview.log > 1lyxpreview.metrics > > ;-) I just want something quickly. But thanks. I'll modify the script. > > > Anyhow: if you need your entries in a different format, there is no > > sane reason why I should not write them out immediately in the format > > you desire: this is a LyX-specific option, no need to make it more > > complicated for LyX to parse it than necessary. > > Great. If you output > Preview Snippet 1: 492688 0 744653 > Preview Snippet 2: 1441792 163840 16026923 > Preview Snippet 3: 282168 0 377591 > Preview Snippet 4: 1619363 449545 16026923 > I'd dump that straight into the .metrics file with > set -e "/Preview Snippet/p;d" < 1lyxpreview.log > 1lyxpreview.metrics
I have moved the colon so that all diagnostics start with Preview: If that's ok, just use grep, which will probably be faster. grep '^Preview: Snippet /' And here is the corresponding prlyx.cfg:
msg40858/tex00000.tex
Description: Next try.
-- David Kastrup, Kriemhildstr. 15, 44793 Bochum Email: [EMAIL PROTECTED]
