GNU bug report logs - #25997
mirror: Add sourceforge variant with 'projects'.

Previous Next

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: 25997 <at> debbugs.gnu.org
Subject: bug#25997: mirror: Add sourceforge variant with 'projects'.
Date: Sun, 12 Mar 2017 14:36:56 +0100

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

ng0 <contact.ng0 <at> cryptolab.net> skribis:

> Ludovic Courtès transcribed 0.3K bytes:
>> Hi,
>> 
>> ng0 <contact.ng0 <at> cryptolab.net> 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):

[Message part 2 (text/x-patch, inline)]

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

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

I suspect that if there are other such cases, they can be addressed
similarly?

Thanks,
Ludo’.

Previous Next

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