From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thorsten Wilms Subject: Re: hydra.gnu.org off-line for maintenance Date: Fri, 26 Oct 2018 11:46:03 +0200 Message-ID: <47cf3cd8-8c84-9ec8-1a36-b7983ca0318b@freenet.de> References: <874ldbacqs.fsf@gnu.org> <20181025184126.081fcef4@gmail.com> <40cd3e88-fc22-76d1-e979-3b3c3cdb915f@web.de> <20181026.112833.1041340413850544457.post@thomasdanckaert.be> Reply-To: t_w_@freenet.de Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Return-path: In-Reply-To: <20181026.112833.1041340413850544457.post@thomasdanckaert.be> Content-Language: en-US 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: Thomas Danckaert , jonathan.brielmaier@web.de Cc: guix-devel@gnu.org, help-guix@gnu.org List-Id: guix-devel.gnu.org On 26/10/2018 11.28, Thomas Danckaert wrote: > 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" Shouldn't that be: --- ExecStart=/var/guix/profiles/per-user/root/guix-profile/bin/guix-daemon --build-users-group=guixbuild --substitute-urls="https://mirror.hydra.gnu.org https://hydra.gnu.org https://berlin.guixsd.org" --- ? > 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. For whatever it may be worth, when I first read about https://berlin.guixsd.org, I wondered if it could/should be used additionally, looked at the documentation, found it confusing and then forgot about the issue. -- Thorsten Wilms thorwil's design for free software: http://thorwil.wordpress.com/