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