GNU bug report logs - #41870
[PATCH 0/2] Allow '.guix-channel' to advertise the primary URL

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Subject: bug#41870: closed (Re: [bug#41870] [PATCH 0/2] Allow
 '.guix-channel' to advertise the primary URL)
Date: Wed, 17 Jun 2020 17:35:02 +0000

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

Your bug report

#41870: [PATCH 0/2] Allow '.guix-channel' to advertise the primary URL

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 41870 <at> debbugs.gnu.org.

-- 
41870: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41870
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: 41870-done <at> debbugs.gnu.org
Subject: Re: [bug#41870] [PATCH 0/2] Allow '.guix-channel' to advertise the
 primary URL
Date: Wed, 17 Jun 2020 19:33:47 +0200

Ludovic Courtès <ludo <at> gnu.org> skribis:

>   channels: Warn when pulling from a mirror.
>   .guix-channel: Add primary URL.

Pushed as 8b1f7c03d239ca703b56f2a6e5f228c79bc1857e.

Ludo’.

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: guix-patches <at> gnu.org
Cc: Ludovic Courtès <ludo <at> gnu.org>
Subject: [PATCH 0/2] Allow '.guix-channel' to advertise the primary URL
Date: Mon, 15 Jun 2020 17:12:01 +0200

Hi!

As discussed in <https://issues.guix.gnu.org/issue/22883#69>, this
patch provides a way for channel authors to state what the primary
URL of their channel is.  The goal here is simply to warn users
when they are pulling from a mirror so that they cannot be tricked
into pulling from a stale mirror.

This goes on top of <https://issues.guix.gnu.org/41767>.

Thoughts?

Ludo’.

Ludovic Courtès (2):
  channels: Warn when pulling from a mirror.
  .guix-channel: Add primary URL.

 .guix-channel     |  3 ++-
 doc/guix.texi     | 22 ++++++++++++++++++++++
 guix/channels.scm | 29 +++++++++++++++++++++++++----
 3 files changed, 49 insertions(+), 5 deletions(-)

-- 
2.26.2

Previous Next

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