luigi scarso wrote:
>
>
> On Tue, Nov 11, 2008 at 2:33 PM, Alan STONE
> <[EMAIL PROTECTED] <mailto:[EMAIL PROTECTED]>>
> wrote:
>
> On Tue, Nov 11, 2008 at 2:03 PM, Alan STONE
> <[EMAIL PROTECTED]
> <mailto:[EMAIL PROTECTED]>> wrote:
>
> Do you know some tool (Windows/Linux) which enables to filter
> these from the
> log file into a text file, or delete the unwanted ones from the
> log file ?
>
>
> Under Linux, grep should be able to do that. Under Windows ?
>
> maybe grep of cygwin ?
or
mtxrun --script grep ...
-----------------------------------------------------------------
Hans Hagen | PRAGMA ADE
Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
| www.pragma-pod.nl
-----------------------------------------------------------------
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : [email protected] / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://tex.aanhet.net
archive : https://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___________________________________________________________________________________
