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.

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

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

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-guix <at> gnu.org:
bug#41800; Package guix. (Thu, 11 Jun 2020 08:48:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Efraim Flashner <efraim <at> flashner.co.il>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Thu, 11 Jun 2020 08:48:02 GMT) Full text and rfc822 format available.

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

From: Efraim Flashner <efraim <at> flashner.co.il>
To: bug-guix <at> gnu.org
Subject: guix lint doesn't catch apache mirror-url
Date: Thu, 11 Jun 2020 11:38:13 +0300
[Message part 1 (text/plain, inline)]
There is a mirror://apache download option which isn't caught by 'guix
lint -c mirror-url'.


-- 
Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
[signature.asc (application/pgp-signature, inline)]

Information forwarded to bug-guix <at> gnu.org:
bug#41800; Package guix. (Thu, 11 Jun 2020 21:19:02 GMT) Full text and rfc822 format available.

Message #8 received at 41800 <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 <at> debbugs.gnu.org
Subject: Re: bug#41800: guix lint doesn't catch apache mirror-url
Date: Thu, 11 Jun 2020 23:17:56 +0200
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?

Thanks,
Ludo’.




Information forwarded to bug-guix <at> gnu.org:
bug#41800; Package guix. (Fri, 12 Jun 2020 15:03:01 GMT) Full text and rfc822 format available.

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

From: Efraim Flashner <efraim <at> flashner.co.il>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 41800 <at> debbugs.gnu.org
Subject: Re: bug#41800: guix lint doesn't catch apache mirror-url
Date: Fri, 12 Jun 2020 18:01:50 +0300
[Message part 1 (text/plain, inline)]
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"

-- 
Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
[signature.asc (application/pgp-signature, inline)]

Reply sent to Ludovic Courtès <ludo <at> gnu.org>:
You have taken responsibility. (Sun, 14 Jun 2020 13:53:02 GMT) Full text and rfc822 format available.

Notification sent to Efraim Flashner <efraim <at> flashner.co.il>:
bug acknowledged by developer. (Sun, 14 Jun 2020 13:53:02 GMT) Full text and rfc822 format available.

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’.




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Mon, 13 Jul 2020 11:24:04 GMT) Full text and rfc822 format available.

This bug report was last modified 3 years and 260 days ago.

Previous Next


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