On Tue, Nov 11, 2008 at 3:43 PM, Hans Hagen <[EMAIL PROTECTED]> wrote:
> 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 ... This is a cool one... http://www.wingrep.com -- Best, Alan * TeX engine = LuaTeX * ConTeXt minimals ver: 2008.56.06 19:11 MKIV fmt: 2008.11.10 int: english/english * Ubuntu 8.04 Hardy Heron
___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / 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 ___________________________________________________________________________________
