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 Regards, Angus
