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