Re: hide more output

[Ludovic Courtès]

Hi,

Ricardo Wurmus <address@hidden> skribis:

> While I’m sure many of us have gotten used to this I think we don’t need
> to show quite as much information.  My proposal is to hide the
> “downloading from <really long URL>” by default, because the URLs don’t
> really matter to users.  We can unhide that bit of info when slightly
> higher verbosity is requested.

I think it’s nice to see the URLs, or rather the host part thereof, when
using multiple substitute servers.  But perhaps we can still make that
less verbose?

Thoughts?

Ludo’.