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

[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 default substitute server (hydra.gnu.org), on my next test
installation I'll try berlin.guixsd.org too

I really **love** the totally CLI installation:

  guix system init /mnt/etc/config.scm /mnt

thanks GuixSD Team for this great OS! :-)

ciao
Giovanni

-- 
Giovanni Biscuolo

Xelera IT Infrastructures


signature.asc
Description: PGP signature

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

[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).
They initially thought this would take much less time.

Apologies for the inconvenience!

From there on we must see on our side what we can do to improve the
resilience of our main substitute servers, should the head node of the
build farm fail.

Ludo’.


signature.asc
Description: PGP signature

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

[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

[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 a way to download a git repo where I store a simple script i use
to automate the "partitioning" [1] process and a custom config.scm
including a standard set of (base) packages, users and related ssh keys

I authorized berlin.guixsd.org using the key I found in the store:

  guix archive --authorize < 
/gnu/store/cw55zvxzi3d9cjmhfvxsryz31jxb1y6k-guix-0.15.0-1.4876bc8/share/guix/berlin.guixsd.org.pub

then I tried to install git via

  guix package -i git --substitute-urls="https://berlin.guixsd.org 
https://mirror.hydra.gnu.org;

but got the following errors:

...

 root@gnu ~# guix package -i git 
--substitute-urls="https://berlin.guixsd.org https://mirror.hydra.gnu.org;
   guix package: warning: Consider running 'guix pull' followed by
   'guix package -u' to get up-to-date packages and security updates.
   
   The following package will be installed:
  git  2.18.0  /gnu/store/w9qwlwpfmhkyj6rqk3rvkk1a89vmymqf-git-2.18.0
   
   substitute: updating substitutes from 'https://berlin.guixsd.org'... 100.0%
   substitute: guix substitute: warning: while fetching 
'https://mirror.hydra.gnu.org/nix-cache-info': 504 ("Gateway Time-out")
   substitute: guix substitute: warning: ignoring substitute server at 
'"https://mirror.hydra.gnu.org;'
   The following derivations will be built:
  /gnu/store/zjh794hi22frbmxmjcgn0q7iibgpdfk6-profile.drv
  /gnu/store/rydjini7v7k3k5gb6dsnkv21cdg3v5a7-ca-certificate-bundle.drv
  /gnu/store/k5rp1y9iw8gwyz013g8wzhlpv12fwig4-info-dir.drv
  /gnu/store/735c19sp407c11bpcpszj4nq5pia2l96-fonts-dir.drv
  /gnu/store/8jdivkklxp5l4zkrrgrxm09rh4ibkld4-manual-database.drv
   32.9 MB will be downloaded:
  /gnu/store/w9qwlwpfmhkyj6rqk3rvkk1a89vmymqf-git-2.18.0
  /gnu/store/47x07izc2v1gpkpai1jkym7m13mxhqir-perl-cgi-4.38
  /gnu/store/70825hjil6070g7cs3mmdnfwmhxgga36-expat-2.2.5
  /gnu/store/7vr3ngwyxs5a50xfqaklp0ds24bcrwqm-curl-7.60.0
  /gnu/store/qqmra1pkcijn2psad965r5fi2m05wxdj-perl-html-parser-3.72
  /gnu/store/w3jgj8466q0ji27h3848yhjm0vm5aa9b-python2-2.7.14
   substitute: guix substitute: warning: while fetching 
'https://mirror.hydra.gnu.org/nix-cache-info': 504 ("Gateway Time-out")
   substitute: guix substitute: warning: ignoring substitute server at 
'"https://mirror.hydra.gnu.org;'
   Downloading 
https://berlin.guixsd.org/nar/gzip/47x07izc2v1gpkpai1jkym7m13mxhqir-perl-cgi-4.38...
perl-cgi-4.38  162KiB   
  
2.1MiB/s 00:00 [##] 100.0%
   
   Downloading 
https://berlin.guixsd.org/nar/gzip/70825hjil6070g7cs3mmdnfwmhxgga36-expat-2.2.5...
   Backtrace:
  3 (apply-smob/1 #)
   In ice-9/boot-9.scm:
   705:2  2 (call-with-prompt _ _ #)
   In ice-9/eval.scm:
   619:8  1 (_ #(#(#)))
   In guix/ui.scm:
 1578:12  0 (run-guix-command _ . _)
   
   guix/ui.scm:1578:12: In procedure run-guix-command:
   Bad Read-Header-Line header: #
   
   killing process 749
   guix package: error: build failed: some substitutes for the outputs of 
derivation `/gnu/store/wsxi6f3k180i0kpwrkams8zflvg4b7cr-git-2.18.0.drv' failed 
(usually happens due to networking issues); try `--fallback' to build 
derivation from source

...


I'm still not able to understand the backtrace, but trying to install
"screen" succeeded, while trying to install "wget" failed in a similar
way


is berlin.guixsd.org missing the "git" and "wget" packages or am I doing
something wrong?

thank you for your support

ciao
Giovanni


[1] 
https://www.gnu.org/software/guix/manual/en/html_node/Preparing-for-Installation.html#Disk-Partitioning

-- 
Giovanni Biscuolo

Xelera IT Infrastructures


signature.asc
Description: PGP signature

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

[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 happens to need more time than expected.
>
> In the meantime, if you use mirror.hydra.gnu.org, you’ll still get
> substitutes, though not the latest one.
>
> 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
> .

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

Apologies for the inconvenience!

Ludo’.


signature.asc
Description: PGP signature

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

[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. It's a pity I have not enough time for GuixSD 
and Guile, but this is very best I've tried from opensource. Here are very  
responsive people. When I found how to use IRC through tor or vpn I'll join. 
But may be tox group chat?

31. Oct 2018 20:04 by rek...@elephly.net :


> 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://mirror.hydra.gnu.org 
>> >> >";
>>  ">> https://hydra.gnu.org >>  <>> 
>> https://hydra.gnu.org >> >";
>>  ">> https://berlin.guixsd.org >>  <>> 
>> https://berlin.guixsd.org >> >";
>>  ))
>
> Okay, %my-services is a list of services.  Let’s remember this.
>
>>  (services (cons* ;;(tor-service)
>>  (xfce-desktop-service)
>>  (bluetooth-service)
>>  (modify-services %desktop-services …)
>>  %my-services
>>  ));;end of services
>
> Here you’re using cons* on four arguments: a service, another service, a
> list of services, and yet another list of services.
>
> This is why you get the error, because you’re creating a nested list of
> services and lists of services.  When you pay attention to the types you
> could come up with an alternative, such as this:
>
> (services (cons* (xfce-desktop-service)
>  (bluetooth-service)
>  (append (modify-services %desktop-services …)
>  %my-services)))
>
> Or you could change %my-services to work on %desktop-services and thus
> remove the second “modify-services”.
>
> --
> Ricardo
>
> PS: closing parentheses get lonely when they are on a line all by
> themselves ;)

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

[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 ";
>  "https://berlin.guixsd.org ";
>  ))

Okay, %my-services is a list of services.  Let’s remember this.

>  (services (cons* ;;(tor-service)
>  (xfce-desktop-service)
>  (bluetooth-service)
>  (modify-services %desktop-services …)
>  %my-services
>  ));;end of services

Here you’re using cons* on four arguments: a service, another service, a
list of services, and yet another list of services.

This is why you get the error, because you’re creating a nested list of
services and lists of services.  When you pay attention to the types you
could come up with an alternative, such as this:

(services (cons* (xfce-desktop-service)
 (bluetooth-service)
 (append (modify-services %desktop-services …)
 %my-services)))

Or you could change %my-services to work on %desktop-services and thus
remove the second “modify-services”.

--
Ricardo

PS: closing parentheses get lonely when they are on a line all by
themselves ;)

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

[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
> mirror.hydra.gnu.org.
>
> I don't know the story, or which one's preferable (I forgot m.g.o
> existed), but both point to the exact same server. Hitting (and
> caching?) the same box twice is probably bad news for both of you.
>
Thanks for the catch! 'mirror.guixsd.org' was mentioned in one of the
threads. (of course, I forget which thread it was...) I don't know the 2
urls resolve same server.

>> I choose 'berlin.guixsd.org' to be the default because it seems to
>> build
>> substitutes faster than 'hydra.gnu.org'.
>
> I share that impression.
>
> Kind regards,
>
> T G-R


signature.asc
Description: PGP signature

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

[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)
 
  ;;(gnu services networking) ;;for tor
 (gnu services xorg)
  ;;   (gnu packages libusb)
  ;;   (gnu services networking)
  ;;   (gnu services audio)
    ;; (gnu packages linux)
  ;;   (gnu services dbus)
)
(use-service-modules desktop)
(use-package-modules certs gnome)

(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 
";
   "https://berlin.guixsd.org 
";
   ))

(operating-system
  (host-name "antelope")
  (timezone "Europe/Moscow")
  (locale "en_US.utf8")

  (bootloader (bootloader-configuration
    (bootloader grub-bootloader)
    (target "/dev/sda")))

  (file-systems (cons (file-system
    (device "/dev/sda1")
    (mount-point "/")
    (type "ext4")
    )
  %base-file-systems))

  (swap-devices '("/dev/sda2"))

  (users (cons* (user-account
    (name "bob")
    (comment "bob is good too")
    (group "users")
    (supplementary-groups '("wheel" "netdev"
    "audio" "video"))
    (home-directory "/home/bob"))
       
      (user-account
    (name "alice")
    (comment "bobs sister")
    (group "users")
    (supplementary-groups '("wheel" "netdev"
    "audio" "video"))
    (home-directory "/home/alice"))
    
  (user-account
    (name "mom")
    (comment "mom")
    (group "users")
    (supplementary-groups '("wheel" "netdev"
    "audio" "video"))
    (home-directory "/home/mom"))

   %base-user-accounts))

  ;; This is where we specify system-wide packages.
  (packages (cons* nss-certs ;for HTTPS access
   gvfs  ;for user mounts
   %base-packages))

  ;; Add GNOME and/or Xfce---we can choose at the log-in
  ;; screen with F1.  Use the "desktop" services, which
  ;; include the X11 log-in service, networking with
  ;; NetworkManager, and more.
  (services (cons*  ;;(tor-service)
    (xfce-desktop-service)
    (bluetooth-service)
    (modify-services %desktop-services
    (elogind-service-type
    c => (elogind-configuration
    (handle-lid-switch 'ignore)))

    (slim-service-type config =>
    (slim-configuration
    (inherit config)
    (startx
    (xorg-start-command
    #:configuration-file
    (xorg-configuration-file
    #:extra-config
    '(
"Section \"InputClass\"
    Identifier \"keyboard-all\"
    Option \"XkbLayout\" \"dvorak\"
    MatchIsKeyboard \"on\"
EndSection
Section \"InputClass\"
    Identifier \"touchpad-all\"
    MatchIsTouchpad \"on\"
    Option \"DisableWhileTyping\" \"on\"
    Option \"Tapping\" \"on\"
EndSection"
    )
    )
    )
    )
    )
    )

    );;end of moify desktop-srvices

    %my-services
  ));;end of services

  ;; Allow resolution of '.local' host names with mDNS.
  (name-service-switch %mdns-host-lookup-nss))

  



# guix system reconfigure /etc/config.scm
Backtrace:
  13 (primitive-load "/root/.config/guix/current/bin/guix")
In guix/ui.scm:
  1583:12 12 (run-guix-command _ . _)
In ice-9/boot-9.scm:
    829:9 11 (catch _ _ # …)
    829:9 10 (catch _ _ # …)
In guix/scripts/system.scm:
   1262:8  9 (_)
In guix/status.scm:
    600:4  8 (call-with-status-report _ _)
In guix/scripts/system.scm:
   1132:6  7 (process-action _ _ _)
In guix/store.scm:
  

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

[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, or which one's preferable (I forgot m.g.o 
existed), but both point to the exact same server. Hitting (and 
caching?) the same box twice is probably bad news for both of you.


I choose 'berlin.guixsd.org' to be the default because it seems 
to build

substitutes faster than 'hydra.gnu.org'.


I share that impression.

Kind regards,

T G-R

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

[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 signing keys can be found in the Guix package itself, at
> > 'share/guix/berlin.guixsd.org.pub'. For example:
> >
> > $ guix build guix
> > /gnu/store/zz3b7j4iv6v143v7cqyr77k83zc5n3zw-guix-0.15.0-6.f9a8fce
> > $ guix archive --authorize
> > < /gnu/store/guix-0.15.0-6.f9a8fce/share/guix/berlin.guixsd.org.pub
> >
> > It is described in the manual section Substitute Server
> > Authorization, although the use of 'prefix' in this context is a
> > little obscure:
> >
> > https://www.gnu.org/software/guix/manual/en/html_node/Substitute-Server-Authorization.html
> >
> > The keys can also be found in the Guix source code, which may be
> > more convenient:
> >
> > https://git.savannah.gnu.org/cgit/guix.git/tree/berlin.guixsd.org.pub  
> 
> Hi Luther,
> 
> In addition to what Leo said, I believe you also need to add this
> option ...
> 
> --substitute-urls=https://berlin.guixsd.org
> 
> ... to each guix command -or- add it to GUIX_BUILD_OPTIONS -or- add
> something like this to your system config ...
> 
> (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;
>  "https://berlin.guixsd.org;
>  ))
> ...
>   (services (cons*
>  ...
>%my-services))
> 
> HTH - George

Ok, I've followed Leo's and George's instructions, and it seems to be
working now. I see it downloading substitutes from both
berlin.guixsd.org and mirror.hydra.gnu.org. Thank you.

Luther

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

[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,
Alex

Clément Lassieur  writes:

> 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
>> 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;
>
> Note that https://mirror.hydra.gnu.org doesn't work well either[1].  You
> might be better off with just https://berlin.guixsd.org.
>
> But I noticed today that https://berlin.guixsd.org doesn't evaluate
> anything anymore[2], so you will only get old evaluations from it.
>
> At the moment I can't find any working solution.
>
> [1]: https://bugs.gnu.org/33151
> [2]: https://berlin.guixsd.org/jobset/guix-master
>
> Cheers,
> Clément


signature.asc
Description: PGP signature

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

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

[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
> 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;

Note that https://mirror.hydra.gnu.org doesn't work well either[1].  You
might be better off with just https://berlin.guixsd.org.

But I noticed today that https://berlin.guixsd.org doesn't evaluate
anything anymore[2], so you will only get old evaluations from it.

At the moment I can't find any working solution.

[1]: https://bugs.gnu.org/33151
[2]: https://berlin.guixsd.org/jobset/guix-master

Cheers,
Clément

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/

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

[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.pub`

and then run your commands with:
`--substitute-urls="https://berlin.guixsd.org`


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;


 - when using GuixSD, modify guix-service in your system 
configuration, by specifying the substitute-urls in the 
configuration. (see guix-configuration in 
https://www.gnu.org/software/guix/manual/en/html_node/Base-Services.html 
)


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.

Sincerely,

Thomas

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

[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.guixsd.org.pub'. For example:
>
> $ guix build guix
> /gnu/store/zz3b7j4iv6v143v7cqyr77k83zc5n3zw-guix-0.15.0-6.f9a8fce
> $ guix archive --authorize < 
> /gnu/store/guix-0.15.0-6.f9a8fce/share/guix/berlin.guixsd.org.pub
>
> It is described in the manual section Substitute Server Authorization,
> although the use of 'prefix' in this context is a little obscure:
>
> https://www.gnu.org/software/guix/manual/en/html_node/Substitute-Server-Authorization.html
>
> The keys can also be found in the Guix source code, which may be more
> convenient:
>
> https://git.savannah.gnu.org/cgit/guix.git/tree/berlin.guixsd.org.pub

Hi Luther,

In addition to what Leo said, I believe you also need to add this option ...

--substitute-urls=https://berlin.guixsd.org

... to each guix command -or- add it to GUIX_BUILD_OPTIONS -or- add
something like this to your system config ...

(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;
   "https://berlin.guixsd.org;
   ))
...
  (services (cons*
 ...
 %my-services))

HTH - George

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

[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:

$ guix build guix
/gnu/store/zz3b7j4iv6v143v7cqyr77k83zc5n3zw-guix-0.15.0-6.f9a8fce
$ guix archive --authorize < 
/gnu/store/guix-0.15.0-6.f9a8fce/share/guix/berlin.guixsd.org.pub

It is described in the manual section Substitute Server Authorization,
although the use of 'prefix' in this context is a little obscure:

https://www.gnu.org/software/guix/manual/en/html_node/Substitute-Server-Authorization.html

The keys can also be found in the Guix source code, which may be more
convenient:

https://git.savannah.gnu.org/cgit/guix.git/tree/berlin.guixsd.org.pub 


signature.asc
Description: PGP signature

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

[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 the link, but I can't find the info to
pass to `guix archive --authorize` anywhere.

Luther

hydra.gnu.org off-line for maintenance

[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 meantime, if you use mirror.hydra.gnu.org, you’ll still get
substitutes, though not the latest one.

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
.

Apologies for the inconvenience!

Ludo’.


signature.asc
Description: PGP signature