GNU bug report logs - #41800
guix lint doesn't catch apache mirror-url

Previous Next

Package: guix;

Reported by: Efraim Flashner <efraim <at> flashner.co.il>

Date: Thu, 11 Jun 2020 08:48:02 UTC

Severity: normal

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

Bug is archived. No further changes may be made.

Full log

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: 41800-done <at> debbugs.gnu.org
Subject: Re: bug#41800: guix lint doesn't catch apache mirror-url
Date: Sun, 14 Jun 2020 15:52:03 +0200

Hi,

Efraim Flashner <efraim <at> flashner.co.il> skribis:

> On Thu, Jun 11, 2020 at 11:17:56PM +0200, Ludovic Courtès wrote:
>> Hello,
>> 
>> Efraim Flashner <efraim <at> flashner.co.il> skribis:
>> 
>> > There is a mirror://apache download option which isn't caught by 'guix
>> > lint -c mirror-url'.
>> 
>> Do you have an example to reproduce it?
>
> It turns out I made a mistake while changing the sources over to mirrors
> and I'm fixing that now, but if you change serf's source URI back to
> "https://archive.apache.org/dist/serf/serf-" version ".tar.bz2"
> then it should suggest changing it to
> "mirror://apache/serf/serf-" version ".tar.bz2"

OK, closing!

Ludo’.
This bug report was last modified 4 years and 339 days ago.

Previous Next

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