bug#41800: closed (guix lint doesn't catch apache mirror-url)

[GNU bug Tracking System]

Your message dated Sun, 14 Jun 2020 15:52:03 +0200
with message-id <87imftvjp8.fsf@gnu.org>
and subject line Re: bug#41800: guix lint doesn't catch apache mirror-url
has caused the debbugs.gnu.org bug report #41800,
regarding guix lint doesn't catch apache mirror-url
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
41800: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41800
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: guix lint doesn't catch apache mirror-url Date: Thu, 11 Jun 2020 11:38:13 +0300

There is a mirror://apache download option which isn't caught by 'guix
lint -c mirror-url'.


-- 
Efraim Flashner   <efraim@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
Description: PGP signature

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#41800: guix lint doesn't catch apache mirror-url
>
>
>
>
> Date: 
>
> Sun, 14 Jun 2020 15:52:03 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
>
>
>
>
> Hi,
>
> Efraim Flashner <efraim@flashner.co.il> skribis:
>
> > On Thu, Jun 11, 2020 at 11:17:56PM +0200, Ludovic Courtès wrote:
> >> Hello,
> >> 
> >> Efraim Flashner <efraim@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’.
>
>
> --- End Message ---