[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: hide more output
|
From: |
zimoun |
|
Subject: |
Re: hide more output |
|
Date: |
Wed, 6 May 2020 16:28:54 +0200 |
Hi Ludo,
On Wed, 6 May 2020 at 16:25, Ludovic Courtès <address@hidden> wrote:
> 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?
Kind of 'guix-prettify-mode'?
For example <really long URL> shortened as 'https://ci.gnu.org/...-<package>' ?
Cheers,
simon