From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thomas Danckaert Subject: Re: hydra.gnu.org off-line for maintenance Date: Fri, 26 Oct 2018 11:28:33 +0200 (CEST) Message-ID: <20181026.112833.1041340413850544457.post@thomasdanckaert.be> References: <874ldbacqs.fsf@gnu.org> <20181025184126.081fcef4@gmail.com> <40cd3e88-fc22-76d1-e979-3b3c3cdb915f@web.de> Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:48313) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gFyQR-0004vp-HJ for help-guix@gnu.org; Fri, 26 Oct 2018 05:29:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gFyQQ-0001jk-KJ for help-guix@gnu.org; Fri, 26 Oct 2018 05:29:03 -0400 In-Reply-To: <40cd3e88-fc22-76d1-e979-3b3c3cdb915f@web.de> List-Id: 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: jonathan.brielmaier@web.de Cc: guix-devel@gnu.org, help-guix@gnu.org From: Jonathan Brielmaier Subject: Re: hydra.gnu.org off-line for maintenance Date: Fri, 26 Oct 2018 08:01:11 +0200 > It's described here: > https://www.gnu.org/software/guix/manual/en/guix.html#Substitute-Server-Authorization > > So basically `guix archive --authorize < berlin.guixsd.org.pub` > > and then run your commands with: > `--substitute-urls="https://berlin.guixsd.org` Also, you may want to add this setting globally and permanently, so you don't have to specify it every time you run guix. You can do this by passing the option to the guix daemon - when using guix on another distribution with systemd, you can modify the the ExecStart line in /etc/systemd/system/guix-daemon.service as follows: ExecStart=/var/guix/profiles/per-user/root/guix-profile/bin/guix-daemon --build-users-group=guixbuild "--substitute-urls=https://mirror.hydra.gnu.org https://berlin.guixsd.org" - when using GuixSD, modify guix-service in your system configuration, by specifying the substitute-urls in the configuration. (see guix-configuration in https://www.gnu.org/software/guix/manual/en/html_node/Base-Services.html ) By the way: when revisiting this issue, I found the manual a bit confusing. You'll find all the information you need when you read the entire section on substitutes from front to back, but when you just try to find specific information using the headlines, it's a bit confusing. For example, to learn about --substitute-urls and the daemon settings for other substitute servers, you'll need to read "Official Substitute Server", which you might not do when looking to add another server. The subtitle for "Substitute Server Authorization" says "How to enable or disable substitutes", but doesn't give all the information you need to enable another substitute server. If people here agree, I'd be happy to send a documentation patch. Sincerely, Thomas