[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Patch: small reduction in output from make doc
From: |
Graham Percival |
Subject: |
Re: Patch: small reduction in output from make doc |
Date: |
Thu, 16 Jun 2011 17:40:50 +0100 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On Thu, Jun 16, 2011 at 04:48:36PM +0200, David Kastrup wrote:
> Actually, I feel progress messages belong on /dev/null. Iff stderr is
> on a tty, there may be some justification to put out some progress
> indicators to it, but they should not take useful space: one can
> compress successive progress messages by using CR and/or BS when going
> on.
How would that play with (presumably poor) terminal support on
mingw, and even worse, various "graphical" apps like lilypad,
jedit, frescobaldi, etc? I like that idea for normal linux usage,
but I don't think we should switch to that system without knowing
how it would affect other programs which call lilypond.
(I'm not saying that we absolutely should not break those
programs -- if they do something weird, and we're certain that the
new method is superior, then I'm totally fine with breaking stuff.
But we need much more information about what kind of breaking
might occur before we can make an informed decision.)
Cheers,
- Graham
- Re: Patch: small reduction in output from make doc, (continued)
- Re: Patch: small reduction in output from make doc, Phil Holmes, 2011/06/15
- Re: Patch: small reduction in output from make doc, Reinhold Kainhofer, 2011/06/16
- Re: Patch: small reduction in output from make doc, Carl Sorensen, 2011/06/16
- Re: Patch: small reduction in output from make doc, David Kastrup, 2011/06/16
- Re: Patch: small reduction in output from make doc, Trevor Daniels, 2011/06/16
- Re: Patch: small reduction in output from make doc, David Kastrup, 2011/06/16
- Re: Patch: small reduction in output from make doc, Phil Holmes, 2011/06/17
- Re: Patch: small reduction in output from make doc, Carl Sorensen, 2011/06/16
- Re: Patch: small reduction in output from make doc,
Graham Percival <=
- Re: Patch: small reduction in output from make doc, David Kastrup, 2011/06/16
- Re: Patch: small reduction in output from make doc, Graham Percival, 2011/06/16
- Re: Patch: small reduction in output from make doc, Phil Holmes, 2011/06/16
- Re: Patch: small reduction in output from make doc, Graham Percival, 2011/06/16
- Re: Patch: small reduction in output from make doc, David Kastrup, 2011/06/16
- Re: Patch: small reduction in output from make doc, Phil Holmes, 2011/06/17
- Re: Patch: small reduction in output from make doc, David Kastrup, 2011/06/17
- Re: Patch: small reduction in output from make doc, Graham Percival, 2011/06/17
- Re: Patch: small reduction in output from make doc, Jan Nieuwenhuizen, 2011/06/23
- Re: Patch: small reduction in output from make doc, Graham Percival, 2011/06/15