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

Hello, I’m happy to announce that hydra.gnu.org is now back up, thanks to Mark H Weaver who made sure all the services were up and running yesterday. For the record, the outage was initiated by the FSF sysadmins to change disks in the machine’s disk array (hydra.gnu.org is hosted by the FSF). The

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

On Thu, Nov 01, 2018 at 04:07:56PM +0100, Ludovic Courtès wrote: > For the record, the maintenance of hydra.gnu.org is still on-going. > From what the FSF sysadmin told us, it could last until Tuesday, > Nov. 6th. > > I strongly recommend switching to berlin.guixsd.org as your primary > source of

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

Hello Guix! l...@gnu.org (Ludovic Courtès) skribis: > The hydra.gnu.org build farm has been off-line since yesterday ~4PM UTC > and will remain off-line roughly until the end of the week. The FSF > sysadmins (it’s hosted at the FSF’s data center) are performing a major > storage upgrade that hap

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

Tobias Geerinckx-Rice writes: > Alex, > > Alex Vong wrote: >> For myself, I use the following option: >> >> --substitute-urls='https://berlin.guixsd.org >> https://mirror.guixsd.org https://mirror.hydra.gnu.org >> https://hydra.gnu.org' > > I suggest keeping only one of mirror.guixsd.org and >

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

Alex, Alex Vong wrote: For myself, I use the following option: --substitute-urls='https://berlin.guixsd.org https://mirror.guixsd.org https://mirror.hydra.gnu.org https://hydra.gnu.org' I suggest keeping only one of mirror.guixsd.org and mirror.hydra.gnu.org. I don't know the story

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

Hello, For myself, I use the following option: --substitute-urls='https://berlin.guixsd.org https://mirror.guixsd.org https://mirror.hydra.gnu.org https://hydra.gnu.org' I choose 'berlin.guixsd.org' to be the default because it seems to build substitutes faster than 'hydra.gnu.org'. Cheers,

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

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/

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

Hi, Thomas Danckaert writes: > 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 >

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

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 mo

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

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.p

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

On 10/26/18 12:41 AM, Luther Thompson wrote: > On Wed, 24 Oct 2018 11:57:15 +0200 > l...@gnu.org (Ludovic Courtès) wrote: >> If you use berlin.guixsd.org, everything is fine; if you don’t, now is >> the time to add it to your substitute URLs! See >>

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

On Wed, 24 Oct 2018 11:57:15 +0200 l...@gnu.org (Ludovic Courtès) wrote: > If you use berlin.guixsd.org, everything is fine; if you don’t, now is > the time to add it to your substitute URLs! See > . How do we do that? I followed