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

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 33261 in the body.
You can then email your comments to 33261 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: swedebugia <swedebugia <at> riseup.net>
To: bug-guix <at> gnu.org
Subject: [substitute-urls] Fails when given only "berlin.guixsd.org"
Date: Mon, 5 Nov 2018 00:41:46 +0100

$ guix package -i hello --substitute-urls=berlin.guixsd.org
substitute: guix substitute: error: berlin.guixsd.org: invalid URI
guix package: error: build failed: substituter `substitute' died 
unexpectedly

Adding "http://" works:

$ guix package -i wget --substitute-urls=http://berlin.guixsd.org --dry-run
The following package would be upgraded:
   wget    1.19.5 → 1.19.5 
/gnu/store/7jd4nbdamp5bjvvi9acnk4nkk2dzyi71-wget-1.19.5

substitute: updating substitutes from 'http://berlin.guixsd.org'... 100.0%
The following derivations would be built:
   /gnu/store/y6yg5dsfam30v8d7f77bafysqjnbdhgj-profile.drv
   /gnu/store/qdgr96gw7jil08wqhp897mf8qzhhv32b-info-dir.drv
   /gnu/store/66apflyp7b41blxl7s6pv56kq5mfb8h4-fonts-dir.drv
/gnu/store/1d0njpsg6ch60hh5zdkg2lf173kqv32f-ca-certificate-bundle.drv
   /gnu/store/jba4idqg0q0rq0pvdal8scjf9176xx8z-manual-database.drv

$ which guix
/home/sdb/.config/guix/current/bin/guix

$ guix --version
guix (GNU Guix) 1f44934fb6e2cefccbecd4fa347025349fa9ff76

-- 
Cheers
Swedebugia

Message #10 received at 33261-done <at> debbugs.gnu.org (full text, mbox):

From: Björn Höfling <bjoern.hoefling <at> bjoernhoefling.de>
To: swedebugia <swedebugia <at> riseup.net>
Cc: 33261-done <at> debbugs.gnu.org
Subject: Re: bug#33261: [substitute-urls] Fails when given only
 "berlin.guixsd.org"
Date: Mon, 5 Nov 2018 19:13:22 +0100

[Message part 1 (text/plain, inline)]

On Mon, 5 Nov 2018 00:41:46 +0100
swedebugia <swedebugia <at> riseup.net> wrote:

> $ guix package -i hello --substitute-urls=berlin.guixsd.org
> substitute: guix substitute: error: berlin.guixsd.org: invalid URI
> guix package: error: build failed: substituter `substitute' died 
> unexpectedly
> 
> Adding "http://" works:

Hi swedebugia,

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.

Closing this one,

Björn

[Message part 2 (application/pgp-signature, inline)]

Message #13 received at 33261 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: 33261 <at> debbugs.gnu.org, bjoern.hoefling <at> bjoernhoefling.de,
 swedebugia <at> riseup.net
Subject: Re: bug#33261: [substitute-urls] Fails when given only
 "berlin.guixsd.org"
Date: Mon, 5 Nov 2018 14:46:18 -0500

[Message part 1 (text/plain, inline)]

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.

[signature.asc (application/pgp-signature, inline)]

Message #16 received at 33261 <at> debbugs.gnu.org (full text, mbox):

From: swedebugia <swedebugia <at> riseup.net>
To: Leo Famulari <leo <at> famulari.name>, 33261 <at> debbugs.gnu.org,
 bjoern.hoefling <at> bjoernhoefling.de
Subject: Re: bug#33261: [substitute-urls] Fails when given only
 "berlin.guixsd.org"
Date: Mon, 5 Nov 2018 21:48:55 +0100

Hi

On 2018-11-05 20:46, Leo Famulari wrote:
> 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.

+1

It is error prone and hard to understand for newcomers what is going on 
behind the scenes.

I wrote this report from the perspective of a newcomer - ideally they 
should not receive any errors at all if you ask me.

Do you have any ideas how to implement anything better?

A newt-ncurses interface maybe?

-- 
Cheers
Swedebugia

Message #19 received at 33261 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: swedebugia <swedebugia <at> riseup.net>
Cc: 33261 <at> debbugs.gnu.org, bjoern.hoefling <at> bjoernhoefling.de
Subject: Re: bug#33261: [substitute-urls] Fails when given only
 "berlin.guixsd.org"
Date: Mon, 5 Nov 2018 16:01:35 -0500

[Message part 1 (text/plain, inline)]

On Mon, Nov 05, 2018 at 09:48:55PM +0100, swedebugia wrote:
> Do you have any ideas how to implement anything better?
> 
> A newt-ncurses interface maybe?

I didn't necessarily mean an interactive tool, but a more unified way of
handling substitute server selection. It's a critical aspect of Guix
security so we'd probably want to think on it for a while.

[signature.asc (application/pgp-signature, inline)]

Message #22 received at 33261 <at> debbugs.gnu.org (full text, mbox):

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: Re: 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.