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/