From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 2JNPDXiN5GFfwAAAgWs5BA (envelope-from ) for ; Sun, 16 Jan 2022 22:26:16 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id CNaoCniN5GHOoAAA9RJhRA (envelope-from ) for ; Sun, 16 Jan 2022 22:26:16 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id AFA1217C75 for ; Sun, 16 Jan 2022 22:26:15 +0100 (CET) Received: from localhost ([::1]:50048 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n9D2U-0007pV-Rp for larch@yhetil.org; Sun, 16 Jan 2022 16:26:14 -0500 Received: from eggs.gnu.org ([209.51.188.92]:44882) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n9D28-0007pL-6f for guix-devel@gnu.org; Sun, 16 Jan 2022 16:25:52 -0500 Received: from [2a0c:e300::1] (port=49936 helo=hera.aquilenet.fr) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n9D26-0003SO-6k; Sun, 16 Jan 2022 16:25:51 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 32553381; Sun, 16 Jan 2022 22:25:45 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id OJitfEVlO_sS; Sun, 16 Jan 2022 22:25:44 +0100 (CET) Received: from ribbon (91-160-117-201.subs.proxad.net [91.160.117.201]) by hera.aquilenet.fr (Postfix) with ESMTPSA id DB440F8; Sun, 16 Jan 2022 22:25:43 +0100 (CET) From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: guix-devel@gnu.org, Mathieu Othacehe Subject: Re: 02/06: installer: Check if ci.guix.gnu.org can be reached. References: <164216708827.2218.4246826654687840555@vcs2.savannah.gnu.org> <20220114133129.E8757C0DA29@vcs2.savannah.gnu.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 27 =?utf-8?Q?Niv=C3=B4se?= an 230 de la =?utf-8?Q?R?= =?utf-8?Q?=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Sun, 16 Jan 2022 22:25:43 +0100 In-Reply-To: <20220114133129.E8757C0DA29@vcs2.savannah.gnu.org> (guix-commits@gnu.org's message of "Fri, 14 Jan 2022 08:31:28 -0500 (EST)") Message-ID: <874k631ig8.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spamd-Bar: / X-Rspamd-Server: hera X-Rspamd-Queue-Id: 32553381 X-Spamd-Result: default: False [-0.10 / 15.00]; ARC_NA(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; RCPT_COUNT_TWO(0.00)[2]; FROM_HAS_DN(0.00)[]; TO_DN_SOME(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; MIME_GOOD(-0.10)[text/plain]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_COUNT_TWO(0.00)[2]; RCVD_TLS_ALL(0.00)[]; MID_RHS_MATCH_FROM(0.00)[] X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a0c:e300::1 (failed) Received-SPF: softfail client-ip=2a0c:e300::1; envelope-from=ludo@gnu.org; helo=hera.aquilenet.fr X-Spam_score_int: -3 X-Spam_score: -0.4 X-Spam_bar: / X-Spam_report: (-0.4 / 5.0 requ) BAYES_00=-1.9, RDNS_NONE=0.793, SPF_HELO_PASS=-0.001, SPF_SOFTFAIL=0.665 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1642368375; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post; bh=KExM959EllrtbpQFdqZtjgcyr+iO5E+yxhpWqvkPfo8=; b=WlWEltsh6A7u0qioPPYZvus0LuW6f5Rv5eI1dKdd+pHO5padnC3A2y6oykf+A5NIqhf0/v CsKNsF3KAhEXxt/AyL4KFMeNNcy0uE7bfb+Cl4mNeSQX2eymtM6FNm0BkwLFytv8z6tUIf J7QZPV6bwThfaYyB3pSat4B7VZ5juq5ba1XXzs6+9tfX6H/Tinb4/oRQA9IupNeWZryZ5l EYFbmr62Ru31UqQLTCTnCgX6kgBaIvJjx+Dz30SxFjVFOeCY86Uwo61ZFEmufT2J7G+CgE TeNCiUzahGUTnXwn5j2DulWUbRvUOReGv3Wf3MSUCZqGS2y9W8FC5l/PybxpDQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1642368375; a=rsa-sha256; cv=none; b=ZTjIR/RCV7LAzR49SIq34lilu1w1wKtWKK9PihRMfsnu84px3S22MwCcxVUN7Tc+9Su17B 6pZy2C6my/TT/SEZdUHDZEuDR79aVcZ05j7o+69O1KVThTVSJbLqUZm3ouP+DLqX/Nd4bJ B74h45CTVHoEnxl43V/5FzJ11Ira/IK5Ta6PxkSsDtXPfLoimteymHj9bbEiSlcb1SAbtN Ro9deYN6LU09suHGaZo8kCiTu8tixN5Ezyr4uPUj7UE4T+A7Ys7/BTtdtXWHHQ7ewTVAQW BV+yKpFHuEwf/NoQzo3SyJAfCX/6RSkd3HFuUrGtyu8KnsHxms0kLM4ZyoFNAA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -3.62 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: AFA1217C75 X-Spam-Score: -3.62 X-Migadu-Scanner: scn1.migadu.com X-TUID: m1POjksHdry6 Hi, guix-commits@gnu.org skribis: > commit ee897e5f51104f41b3c2a0c2cbc7eb4e6c1e4d3e > Author: Mathieu Othacehe > AuthorDate: Tue Dec 28 11:19:55 2021 +0100 > > installer: Check if ci.guix.gnu.org can be reached. >=20=20=20=20=20 > * 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 > + (=3D (response-code > + (http-request "https://ci.guix.gnu.org")) > + 200))) What about replacing the hard-coded URL with a reference to =E2=80=98%default-substitute-urls=E2=80=99? Since it=E2=80=99s a list, we could check that at least one of the URLs in = that list is reachable. Also, perhaps replace =E2=80=98http-request=E2=80=99 (which does GET by def= ault) by =E2=80=98http-head=E2=80=99? My 2=C2=A2, Ludo=E2=80=99.