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
