Re: hydra.gnu.org off-line for maintenance

[Thorsten Wilms]

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/