Re: [PATCH] download: Add official SourceForge mirror.

2016-07-24 Thread Leo Famulari
On Fri, Jul 22, 2016 at 01:08:31PM -0500, Alex Griffin wrote: > * guix/download.scm (mirrors)[sourceforge]: Add official SourceForge mirror. I added a copyright line for you and pushed as fe224d20cc. Thanks!

Re: [PATCH] download: Add official SourceForge mirror.

2016-07-24 Thread Efraim Flashner
On Fri, Jul 22, 2016 at 07:10:26PM -0400, Leo Famulari wrote: > On Fri, Jul 22, 2016 at 01:08:31PM -0500, Alex Griffin wrote: > > This patch mirrors a similar change in nixpkgs [1][2]. > > > > The official method for downloading from SourceForge is to use > > downloads.sourceforge.net, which redir

Re: [PATCH] download: Add official SourceForge mirror.

2016-07-22 Thread Leo Famulari
On Fri, Jul 22, 2016 at 01:08:31PM -0500, Alex Griffin wrote: > This patch mirrors a similar change in nixpkgs [1][2]. > > The official method for downloading from SourceForge is to use > downloads.sourceforge.net, which redirects to various other mirrors. It > can be unreliable, but also faster b

[PATCH] download: Add official SourceForge mirror.

2016-07-22 Thread Alex Griffin
: [PATCH] download: Add official SourceForge mirror. The official method for downloading from SourceForge is to use downloads.sourceforge.net, which redirects to various other mirrors. It can be unreliable, but also faster because it can find a nearby mirror and load-balance. If it fails Guix will