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

2018-11-10 Thread Giovanni Biscuolo
Hi, sorry but I managed to retry installation just yesterday evening swedebugia writes: > Hi > > On 2018-11-01 17:37, Giovanni Biscuolo wrote: >> Bad Read-Header-Line header: # > > The server was out of space and stopped responding. > > Does it work now? yes! (I had non doubt) I used the defa

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

2018-11-06 Thread Ludovic Courtès
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

2018-11-05 Thread swedebugia
Hi On 2018-11-01 17:37, Giovanni Biscuolo wrote: Bad Read-Header-Line header: # The server was out of space and stopped responding. Does it work now? -- Cheers Swedebugia

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

2018-11-01 Thread Giovanni Biscuolo
Ciao, I'm having troubles with substitutes in my test installation l...@gnu.org (Ludovic Courtès) writes: [...] > I strongly recommend switching to berlin.guixsd.org as your primary > source of substitutes. I was able to start a VM (via libvirt/KVM) booting the latest iso install image I need

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

2018-11-01 Thread Ludovic Courtès
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

2018-10-31 Thread znavko
Thank you, Ricardo! Your answer is very important. This command is working now: 'guix system reconfigure /etc/config.scm --substitute-urls=https://mirror.guixsd.org ', nevertheless I have 504 errors, but some packages are compiling now. After that I'll try your advise.

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

2018-10-31 Thread Ricardo Wurmus
Hi, zna...@tutanota.com writes: > (define %my-services > (modify-services %base-services > (guix-service-type config => > (guix-configuration > (inherit config) > (substitute-urls (list "https://mirror.hydra.gnu.org > "; > "https://hydra.gnu.org

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

2018-10-31 Thread Alex Vong
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

2018-10-29 Thread znavko
Sorry, substitution like this gives the next errors: ;; This is an operating system configuration template ;; for a "desktop" setup with GNOME and Xfce where the ;; root partition is encrypted with LUKS. (use-modules (gnu) (gnu system nss) (gnu services desktop)  

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

2018-10-27 Thread Tobias Geerinckx-Rice
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

2018-10-26 Thread Luther Thompson
On Fri, 26 Oct 2018 00:23:57 -0400 George Clemmer wrote: > Leo Famulari writes: > > > On Thu, Oct 25, 2018 at 06:41:26PM -0400, Luther Thompson wrote: > >> How do we do that? I followed the link, but I can't find the info > >> to pass to `guix archive --authorize` anywhere. > > > > The sign

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

2018-10-26 Thread Alex Vong
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

2018-10-26 Thread Jonathan Brielmaier
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

2018-10-26 Thread 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/

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

2018-10-26 Thread Clément Lassieur
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

2018-10-26 Thread 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 mo

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

2018-10-26 Thread Thomas Danckaert
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

2018-10-25 Thread George Clemmer
Leo Famulari writes: > On Thu, Oct 25, 2018 at 06:41:26PM -0400, Luther Thompson wrote: >> How do we do that? I followed the link, but I can't find the info to >> pass to `guix archive --authorize` anywhere. > > The signing keys can be found in the Guix package itself, at > 'share/guix/berlin.g

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

2018-10-25 Thread Leo Famulari
On Thu, Oct 25, 2018 at 06:41:26PM -0400, Luther Thompson wrote: > How do we do that? I followed the link, but I can't find the info to > pass to `guix archive --authorize` anywhere. The signing keys can be found in the Guix package itself, at 'share/guix/berlin.guixsd.org.pub'. For example: $ gu

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

2018-10-25 Thread Luther Thompson
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

hydra.gnu.org off-line for maintenance

2018-10-24 Thread Ludovic Courtès
Hello Guix, 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 happens to need more time than expected. In the mea