Re: 02/06: installer: Check if ci.guix.gnu.org can be reached.

[Ludovic Courtès]

Hi,

guix-commits@gnu.org skribis:

> commit ee897e5f51104f41b3c2a0c2cbc7eb4e6c1e4d3e
> Author: Mathieu Othacehe <othacehe@gnu.org>
> AuthorDate: Tue Dec 28 11:19:55 2021 +0100
>
>     installer: Check if ci.guix.gnu.org can be reached.
>     
>     * gnu/installer.scm (installer-program): Add gnutls extension.
>     * gnu/installer/newt/network.scm (wait-service-online): Check if the CI 
> server
>     can be reached.

[...]

> +  (define (ci-available?)
> +    (dynamic-wind
> +      (lambda ()
> +        (sigaction SIGALRM
> +          (lambda _ #f))
> +        (alarm 3))
> +      (lambda ()
> +        (false-if-exception
> +         (= (response-code
> +             (http-request "https://ci.guix.gnu.org";))
> +            200)))

What about replacing the hard-coded URL with a reference to
‘%default-substitute-urls’?

Since it’s a list, we could check that at least one of the URLs in that
list is reachable.

Also, perhaps replace ‘http-request’ (which does GET by default) by
‘http-head’?

My 2¢,
Ludo’.