Am Donnerstag, 10. Januar 2013 schrieb Ludovic Courtès:

> I find it useful to have the server name printed (esp. in the case of

> mirror://, ftpmirror.gnu.org, etc.), so I’ve come up with a solution

> that abbreviates long URIs like this:

> I’ll commit it if there are no objections.

This looks good to me.

I came across another problem: During parallel builds (the norm nowadays), several lines of downloading get mixed, or even the progress numbers are mixed with lines of output from the compiler etc.. I do not see what to do about it (except for clearing out a complete line, so there is no output trailing after the percentage), and the progress indicator can still be used to indicate problems when nothing progresses.

Andreas