| 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/