From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alex Vong Subject: Re: hydra.gnu.org off-line for maintenance Date: Wed, 31 Oct 2018 22:40:32 +0800 Message-ID: <87o9badvrz.fsf@gmail.com> References: <874ldbacqs.fsf@gnu.org> <20181025184126.081fcef4@gmail.com> <40cd3e88-fc22-76d1-e979-3b3c3cdb915f@web.de> <20181026.112833.1041340413850544457.post@thomasdanckaert.be> <87efcdf2dm.fsf@lassieur.org> <87bm7giva3.fsf@gmail.com> <87h8h7fnra.fsf@tobias.gr> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: In-Reply-To: <87h8h7fnra.fsf@tobias.gr> (Tobias Geerinckx-Rice's message of "Sat, 27 Oct 2018 16:49:29 +0200") List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Tobias Geerinckx-Rice Cc: guix-devel@gnu.org, help-guix@gnu.org, alexvong1995@gmail.com List-Id: guix-devel.gnu.org --=-=-= Content-Type: text/plain Tobias Geerinckx-Rice writes: > Alex, > > Alex Vong wrote: >> For myself, I use the following option: >> >> --substitute-urls='https://berlin.guixsd.org >> https://mirror.guixsd.org https://mirror.hydra.gnu.org >> https://hydra.gnu.org' > > I suggest keeping only one of mirror.guixsd.org and > mirror.hydra.gnu.org. > > I don't know the story, or which one's preferable (I forgot m.g.o > existed), but both point to the exact same server. Hitting (and > caching?) the same box twice is probably bad news for both of you. > Thanks for the catch! 'mirror.guixsd.org' was mentioned in one of the threads. (of course, I forget which thread it was...) I don't know the 2 urls resolve same server. >> I choose 'berlin.guixsd.org' to be the default because it seems to >> build >> substitutes faster than 'hydra.gnu.org'. > > I share that impression. > > Kind regards, > > T G-R --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYIAB0WIQSof2ZdXkE0FM5aU4XzrkvbI+zaGwUCW9m+4AAKCRDzrkvbI+za G6L7AQC7BIsroBMBm3mqB7ihaXUbB51Dkj/oDaR2+xRcy3C0YQEAohZg//ZkOch+ JRecbCznGCfz0jXZx4HBeeM0PDTddAo= =9/Fd -----END PGP SIGNATURE----- --=-=-=--