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

[Tobias Geerinckx-Rice]

Thorsten,

Thorsten Wilms wrote:
> On 26/10/2018 11.28, Thomas Danckaert wrote:
> > 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";
> ---
> ?

Slow ol' hydra.gnu.org shouldn't be used directly like this, even 
though there's currently nothing stopping you from doing so and I 
suspect many do.

The mirror should suffice.

Kind regards,

T G-R