On 9/27/2017 10:51 AM, Taco Hoekwater wrote:
Hi Hans,
Thanks, this is very useful already. A small request though, could you wrap (or precede) those messages with a message like:
system > start problem reporting … [system > stop problem reporting]
or (even better) move all of those messages to a dedicated ‘problems’ message group like this?
problems > start missing files
I want to be able to use grep on the log / terminal quickly to find whether there are any such problems. I'll add this wrapper:
error logging > start possible issues error logging > stop possible issues (changing the category to a common one is tricky as it's also used as selector e.g. you might want to quit on missing chars but not on a missing reference as that can be a temporary thing in an initial run) Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------