From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=)
Subject: bug#33261: [substitute-urls] Fails when given only "berlin.guixsd.org"
Date: Tue, 06 Nov 2018 15:07:26 +0100
Message-ID: <87y3a61eqp.fsf@gnu.org>
References: <7461b803-d8af-2e76-358e-35592f3ca995@riseup.net>
	<20181105191322.64a47ea0@alma-ubu>
	<20181105194618.GA18731@jasmine.lan>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:46870)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gK298-0001vY-Ax
	for bug-guix@gnu.org; Tue, 06 Nov 2018 09:15:59 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gK21T-0006Ni-6j
	for bug-guix@gnu.org; Tue, 06 Nov 2018 09:08:09 -0500
Received: from debbugs.gnu.org ([208.118.235.43]:60140)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1gK21T-0006NW-3b
	for bug-guix@gnu.org; Tue, 06 Nov 2018 09:08:03 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1gK21S-00078U-Un
	for bug-guix@gnu.org; Tue, 06 Nov 2018 09:08:02 -0500
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.33261.B33261.154151327327400@debbugs.gnu.org>
In-Reply-To: <20181105194618.GA18731@jasmine.lan> (Leo Famulari's message of
	"Mon, 5 Nov 2018 14:46:18 -0500")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Leo Famulari <leo@famulari.name>
Cc: 33261@debbugs.gnu.org

Hello,

Leo Famulari <leo@famulari.name> skribis:

> On Mon, Nov 05, 2018 at 07:13:22PM +0100, Bj=C3=B6rn H=C3=B6fling 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=20
>>=20
>> 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=E2=80=99s 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 =E2=80=9Caddress=E2=80=9D?.)

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

Thanks,
Ludo=E2=80=99.