GNU bug report logs - #33261
[substitute-urls] Fails when given only "berlin.guixsd.org"

Previous Next

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: Leo Famulari <leo <at> famulari.name>
Cc: 33261 <at> debbugs.gnu.org, bjoern.hoefling <at> bjoernhoefling.de, swedebugia <at> riseup.net
Subject: bug#33261: [substitute-urls] Fails when given only "berlin.guixsd.org"
Date: Tue, 06 Nov 2018 15:07:26 +0100

Hello,

Leo Famulari <leo <at> famulari.name> skribis:

> On Mon, Nov 05, 2018 at 07:13:22PM +0100, Björn Höfling wrote:
>> I would not consider this a bug: It clearly says that it is not a
>> proper URI. Also in the documentation all URLs/URIs are written in the
>> form of 
>> 
>> PROTOCOL://SERVER/PATH.
>
> I agree that it's not a bug, but perhaps it's more like a wishlist item.
>
> Ideally, users would not need to concern themselves with implementation
> details like protocol selection.
>
> Guix could offer a more unified or simpler interface for authorizing and
> selecting substitute servers, and it would handle server addresses,
> communication protocols, and key authorization. Currently it's very
> ad-hoc.

I agree with the goal, but it’s really a long-term goal with lots of
open issues that go way beyond Guix AIUI (for instance, how do you map a
public key to an actual “address”?.)

So I’m closing it as not-a-bug, but feel free to open a wishlist item
where we can discuss other ways to handle substitutes in the future.

Thanks,
Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.