Karim BELABAS on Fri, 25 Oct 2002 22:32:48 +0200 (MEST) |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: [PATCH CVS] log and colors and prettyprint |
On Wed, 16 Oct 2002, Ilya Zakharevich wrote: > I suspect that most of the people do not want to see meaningless > escapes and tex-formatting in the log file, right? > > The following patch disables escape sequences and the-line-noise-which- > is-the-input-for-prettyprinter when writing to the log file. > > The "proper" solution may be to have two extra flags (or bits of > default(log)) to enable/disable these "features"; but I hope that most > people do not want to go back. I've only partially applied this patch. As Bill pointed out, escape sequences in logfile work nicely: * you can display them with cat, more, or less -r. * you can filter them out with misc/gpflog [also easy to set up as a preprocessor for your favourite text editor]. On the other hand logging the pseudo-TeX output to the prettyprinter was indeed not really useful. Karim. -- Karim Belabas Tel: (+33) (0)1 69 15 57 48 Dép. de Mathematiques, Bat. 425 Fax: (+33) (0)1 69 15 60 19 Université Paris-Sud Email: Karim.Belabas@math.u-psud.fr F-91405 Orsay (France) http://www.math.u-psud.fr/~belabas/ -- PARI/GP Home Page: http://www.parigp-home.de/