From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: Default substitute URLs Date: Fri, 15 Jul 2016 17:07:09 +0200 Message-ID: <20160715150709.GA29909@solar> References: <87r3azkzku.fsf@gnu.org> <20160712090126.GA5646@solar> <87wpkpln7k.fsf@gnu.org> <20160714154854.GA24635@solar> <87y4530z6n.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55234) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bO4hy-000831-8A for guix-devel@gnu.org; Fri, 15 Jul 2016 11:07:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bO4ht-0007C1-Vu for guix-devel@gnu.org; Fri, 15 Jul 2016 11:07:17 -0400 Received: from mailrelay6.public.one.com ([91.198.169.200]:38166) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bO4ht-0007Ak-Hm for guix-devel@gnu.org; Fri, 15 Jul 2016 11:07:13 -0400 Content-Disposition: inline In-Reply-To: <87y4530z6n.fsf@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ludovic =?iso-8859-15?Q?Court=E8s?= Cc: guix-devel 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