Re: Default substitute URLs

2016-07-15 Thread Andreas Enge
On Fri, Jul 15, 2016 at 04:10:40PM +0200, Ludovic Courtès wrote: > Having several URLs pointing to the same server would be similarly > inefficient. Indeed. So we could modify this again if we ever have distinct mirror machines, not just distinct names. Andreas

Re: Default substitute URLs

2016-07-15 Thread Ludovic Courtès
Efraim Flashner skribis: > I don't believe it's currently possible to list more than one substitute > url with --substitute-urls= Of course it’s possible, hence the plural. :-) (It’s even the default, which is the whole point of this discussion. ;-)) Ludo’.

Re: Default substitute URLs

2016-07-15 Thread Ludovic Courtès
Andreas Enge skribis: > On Wed, Jul 13, 2016 at 02:46:55PM +0200, Ludovic Courtès wrote: >> I prefer to keep the mirror.hydra.gnu.org name, I think it’s clearer. > > Could there not be two, both of which would be checked, so if a package is not > found on the first one, it is searched on the seco

Re: Default substitute URLs

2016-07-14 Thread Efraim Flashner
On Thu, Jul 14, 2016 at 05:48:54PM +0200, Andreas Enge wrote: > On Wed, Jul 13, 2016 at 02:46:55PM +0200, Ludovic Courtès wrote: > > I prefer to keep the mirror.hydra.gnu.org name, I think it’s clearer. > > Could there not be two, both of which would be checked, so if a package is not > found on t

Re: Default substitute URLs

2016-07-14 Thread Andreas Enge
On Wed, Jul 13, 2016 at 02:46:55PM +0200, Ludovic Courtès wrote: > I prefer to keep the mirror.hydra.gnu.org name, I think it’s clearer. Could there not be two, both of which would be checked, so if a package is not found on the first one, it is searched on the second one? This would make things m

Re: Default substitute URLs

2016-07-13 Thread Ludovic Courtès
Andreas Enge skribis: > On Tue, Jul 12, 2016 at 10:52:49AM +0200, Ludovic Courtès wrote: >> If there are no objections, I’d like to change the default substitute >> URLs to just “https://mirror.hydra.gnu.org”. > > How about adding/replacing by https://mirror.guixsd.org?

Re: Default substitute URLs

2016-07-12 Thread Andreas Enge
On Tue, Jul 12, 2016 at 10:52:49AM +0200, Ludovic Courtès wrote: > If there are no objections, I’d like to change the default substitute > URLs to just “https://mirror.hydra.gnu.org”. How about adding/replacing by https://mirror.guixsd.org? It would be good to (also) have a mirror URL und

Default substitute URLs

2016-07-12 Thread Ludovic Courtès
Hello! If there are no objections, I’d like to change the default substitute URLs to just “https://mirror.hydra.gnu.org”. Currently it’s “https://mirror.hydra.gnu.org https://hydra.gnu.org” (see config-daemon.ac), but the second URL is redundant and can only cause slowness (if a substitute is