[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merging dev/texi2html [was: Re: Clean history]
From: |
Han-Wen Nienhuys |
Subject: |
Re: Merging dev/texi2html [was: Re: Clean history] |
Date: |
Thu, 21 Aug 2008 00:08:46 -0300 |
On Wed, Aug 20, 2008 at 8:14 PM, Reinhold Kainhofer
<address@hidden> wrote:
>> > Just curiosity, what's the size of this redirected output file?
>> >
>> > Secondly: let's assume it's a million lines worth (this much it seems
>> > to me).
>>
>> It's not THAT bad: A clean "make" and "make web" is "just" a bit over
>> 133.000 lines, resulting in a redirected output file of 15MB (The file has
>> 15.2 Mio. characters)...
>
> Roughly 26.500 of the lines come from the font generation, which spills out
> loads of lines, which are absolutely incomprehensible to any mortal (each
> glyph in each of our differently-sized fonts gets a line with several numbers
> associated to the glyph). Do we really need that excessive output? Is there
> any way to turn that off, anyway?
Hi,
I want to see this output, because I will notice when things are out
of the ordinary. I also find it highly annoying when projects
'prettify' their build output, because it makes debugging much more
difficult.
For example, you can reproduce problems in the build by cut & pasting
the build output very easy.
If you think it is too much, run it with >& log.txt and use a pager
to navigate it.
--
Han-Wen Nienhuys - address@hidden - http://www.xs4all.nl/~hanwen
- Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/19
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/19
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Francisco Vila, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/20
- Re: Merging dev/texi2html [was: Re: Clean history],
Han-Wen Nienhuys <=
- Re: Merging dev/texi2html [was: Re: Clean history], Valentin Villenave, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/26
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], Reinhold Kainhofer, 2008/08/21
- Re: Merging dev/texi2html, Werner LEMBERG, 2008/08/21
- Re: Merging dev/texi2html [was: Re: Clean history], John Mandereau, 2008/08/21