[debbugs-tracker] bug#25997: closed (mirror: Add sourceforge variant with 'projects'.)

[GNU bug Tracking System]

Your message dated Sun, 12 Mar 2017 16:24:01 +0000
with message-id <address@hidden>
and subject line Re: bug#25997: mirror: Add sourceforge variant with 'projects'.
has caused the debbugs.gnu.org bug report #25997,
regarding mirror: Add sourceforge variant with 'projects'.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


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

--- Begin Message --- Subject: mirror: Add sourceforge variant with 'projects'. Date: Mon, 6 Mar 2017 12:47:13 +0000

This adds a variant of sourceforge mirrors to cover downloads where the path 
includes projects instead of project.

Patch appended as file, rebased on master.

0001-download-Add-Sourceforge-variant-including-projects.patch
Description: Text document

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#25997: mirror: Add sourceforge variant with 'projects'.
>
>
>
>
> Date: 
>
> Sun, 12 Mar 2017 16:24:01 +0000
>
>
>
>
> Ludovic Courtès transcribed 1.7K bytes:
> > ng0 <address@hidden> skribis:
> > 
> > > Ludovic Courtès transcribed 0.3K bytes:
> > >> Hi,
> > >> 
> > >> ng0 <address@hidden> skribis:
> > >> 
> > >> > This adds a variant of sourceforge mirrors to cover downloads where the 
> > >> > path includes projects instead of project.
> > >> 
> > >> Does that really happen?  Do you have an example?
> > >> 
> > >> I thought that when they changed the URL scheme a few months ago they
> > >> chose one and dismissed the other.
> > >> 
> > >> Thanks,
> > >> Ludo’.
> > >> 
> > >> 
> > >
> > > No, I run into this regulary. One example we have in the tree: tintin++.
> > 
> > This particular case is fixed with this patch (that I’ll push soon):
> > 
>
> > diff --git a/gnu/packages/games.scm b/gnu/packages/games.scm
> > index 550652eef..efa904f7d 100644
> > --- a/gnu/packages/games.scm
> > +++ b/gnu/packages/games.scm
> > @@ -2880,8 +2880,8 @@ the GNU GPL.")
> >      (version "2.01.2")
> >      (source (origin
> >                (method url-fetch)
> > -              (uri (string-append "https://sourceforge.net/projects/tintin";
> > -                                  "/files/TinTin++ Source Code/" version
> > +              (uri (string-append "mirror://sourceforge/tintin"
> > +                                  "/TinTin++ Source Code/" version
> >                                    "/tintin" "-" version ".tar.gz"))
> >                (sha256
> >                 (base32
>
> > 
> > I suspect that if there are other such cases, they can be addressed
> > similarly?
> > 
> > Thanks,
> > Ludo’.
>
> Maybe… It's been a while since I had to use sourceforge. It could be
> that the change in url from projects -> project just took a while to be
> applied to all projectS.
>
> My patch is small enough that I'll close it now, problem seems to no
> longer exist and if it still does, it's just a one line change which can
> be added easy enough.
>
> Thanks.
>
>
> --- End Message ---