GNU bug report logs - #28699
[PATCH] pull: Add GUIX_PULL_URL environment variable.

Previous Next

Package: guix-patches;

Reported by: Oleg Pykhalov <go.wigust <at> gmail.com>

Date: Wed, 4 Oct 2017 09:07:02 UTC

Severity: normal

Tags: patch

Done: ludo <at> gnu.org (Ludovic Courtès)

Bug is archived. No further changes may be made.

Full log

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Oleg Pykhalov <go.wigust <at> gmail.com>
Cc: 28699 <at> debbugs.gnu.org
Subject: Re: [bug#28699] [PATCH] pull: Add GUIX_PULL_URL environment variable.
Date: Thu, 05 Oct 2017 11:28:59 +0200

Oleg Pykhalov <go.wigust <at> gmail.com> skribis:

> From 2638c08eef0e8c173111ced6bbc95167f6130fd7 Mon Sep 17 00:00:00 2001
> From: Oleg Pykhalov <go.wigust <at> gmail.com>
> Date: Wed, 4 Oct 2017 12:01:41 +0300
> Subject: [PATCH] pull: Add GUIX_PULL_URL environment variable.
>
> * guix/scripts/pull.scm (%repository-url): Add GUIX_PULL_URL environment
>   variable.
> * doc/guix.texi (Invoking guix pull): Mention GUIX_PULL_URL.

I’m not entirely convinced, especially with a look on “channels”, which
would provide a way to persistently register repo URLs.

OTOH, I see that it can be convenient in the short-term for someone
using a repo other than the default one.

Thoughts?

Ludo’.
This bug report was last modified 7 years and 232 days ago.

Previous Next

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