From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Substitutes from multiple server Date: Wed, 28 Oct 2015 12:14:31 +0100 Message-ID: <87eggf9re0.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42296) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZrOgf-0001Qx-NZ for guix-devel@gnu.org; Wed, 28 Oct 2015 07:14:38 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZrOgb-0000Pq-M3 for guix-devel@gnu.org; Wed, 28 Oct 2015 07:14:37 -0400 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:46751) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZrOgb-0000Pm-Il for guix-devel@gnu.org; Wed, 28 Oct 2015 07:14:33 -0400 Received: from reverse-83.fdn.fr ([80.67.176.83]:47954 helo=pluto) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1ZrOga-00042v-Lo for guix-devel@gnu.org; Wed, 28 Oct 2015 07:14:33 -0400 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: guix-devel It=E2=80=99s now possible to really use multiple substitute servers, as in: guix build foo --substitute-urls=3D'http://example.org http://hydra.gnu.o= rg' Here Guix first looks for substitutes at example.org, and then falls back to gnu.org for those that were not found. The basics were in place but commit 55b2fc1 adds the missing bits. Unfortunately, due to , the daemon=E2=80=99s --substitute-urls is overridden by clients, so you really have to pass --substitute-urls to various =E2=80=98guix=E2=80=99 commands. Unfortunately=C2=B2, because URLs are whitespace-separated, one cannot put the option in the =E2=80=98GUIX_BUILD_OPTIONS=E2=80=99 environment variable= , because that one is simply split up using =E2=80=98string-tokenize=E2=80=99. Anyway, future work! Ludo=E2=80=99.