From mboxrd@z Thu Jan 1 00:00:00 1970 From: Marco van Zwetselaar Subject: Malconnected machines & guix pull Date: Thu, 10 Mar 2016 14:31:02 +0300 Message-ID: <56E15AF6.5040806@zwets.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54980) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1adyoU-0003pE-Dl for guix-devel@gnu.org; Thu, 10 Mar 2016 06:31:34 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1adyoQ-0000hS-D6 for guix-devel@gnu.org; Thu, 10 Mar 2016 06:31:30 -0500 Received: from mail-wm0-x229.google.com ([2a00:1450:400c:c09::229]:36273) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1adyoQ-0000gc-6A for guix-devel@gnu.org; Thu, 10 Mar 2016 06:31:26 -0500 Received: by mail-wm0-x229.google.com with SMTP id n186so25714938wmn.1 for ; Thu, 10 Mar 2016 03:31:25 -0800 (PST) Received: from [10.103.0.100] ([41.59.7.190]) by smtp.gmail.com with ESMTPSA id 3sm3087818wmp.14.2016.03.10.03.31.19 for (version=TLSv1/SSLv3 cipher=OTHER); Thu, 10 Mar 2016 03:31:22 -0800 (PST) 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@gnu.org All, Is there a way to do a 'guix pull' from an internet-disconnected machine? I can tell it to fetch master.tar.gz from file: $ guix pull --url=file:///tmp/master.tar.gz unpacking '/gnu/store/d6x5rcb58fqfsyhr08v65bii1pfm7jz1-guix-latest.tar.gz'... The following derivations will be built: /gnu/store/z6lxp83lkk6ba719i4c0x3rv087kgjkk-guix-latest.drv /gnu/store/vx592ns1hk7xs038c1h5kjnzlb7cxzyw-module-import.drv /gnu/store/4p141cjhz9wfkgi3gi5nk11d5f0jpplg-module-import-compiled.drv The following files will be downloaded: /gnu/store/fmxxkrpwajcnb9cyncgh4f4z6ybknl1g-guile-2.0.11 ... But then off it goes again looking for substitutes from hydra. Guix pull offers neither --no-substitutes nor --substitute-urls. In fact, what I am really looking for is a --substitute-urls option for 'guix pull', or a way to separate the pull and the subsequent build, so that I can make it connect to a 'guix publish'-ing server. Context: internet connectivity at my research institute (in Kilimanjaro, Tanzania) is often such that I need to restart a guix pull four or five times. Multiply that by 6 machines and you see why I'm good friends with guix publish ;-) Cheers Marco