From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id AL0TAhJQTWNMKwEAbAwnHQ (envelope-from ) for ; Mon, 17 Oct 2022 14:52:34 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id eLfnARJQTWNveAEAauVa8A (envelope-from ) for ; Mon, 17 Oct 2022 14:52:34 +0200 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 9A1391D5E7 for ; Mon, 17 Oct 2022 14:52:33 +0200 (CEST) Received: from localhost ([::1]:44530 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1okPbc-0004Mw-Ka for larch@yhetil.org; Mon, 17 Oct 2022 08:52:32 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42610) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1okPb9-0004Hh-AD for guix-patches@gnu.org; Mon, 17 Oct 2022 08:52:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:48667) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1okPb8-0004bq-V5 for guix-patches@gnu.org; Mon, 17 Oct 2022 08:52:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1okPb8-0007eq-Ha for guix-patches@gnu.org; Mon, 17 Oct 2022 08:52:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#58273] [PATCH] installer: checks the availability of the mirror Resent-From: Andrew Tropin Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 17 Oct 2022 12:52:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58273 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Mathieu Othacehe Cc: 58273@debbugs.gnu.org, aleksandr barakin Received: via spool by 58273-submit@debbugs.gnu.org id=B58273.166601109329401 (code B ref 58273); Mon, 17 Oct 2022 12:52:02 +0000 Received: (at 58273) by debbugs.gnu.org; 17 Oct 2022 12:51:33 +0000 Received: from localhost ([127.0.0.1]:47745 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1okPaf-0007e8-5X for submit@debbugs.gnu.org; Mon, 17 Oct 2022 08:51:33 -0400 Received: from relay3-d.mail.gandi.net ([217.70.183.195]:41981) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1okPaa-0007dg-Id for 58273@debbugs.gnu.org; Mon, 17 Oct 2022 08:51:29 -0400 Received: (Authenticated sender: andrew@trop.in) by mail.gandi.net (Postfix) with ESMTPSA id 513BF6000C; Mon, 17 Oct 2022 12:51:20 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=trop.in; s=gm1; t=1666011082; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=44R9BYusdi18Dy/ZuTF9A9f4W3H5s73GNSQoOGvisCg=; b=anQlvA4C/FuFS/tMXPZHab6gvxWjBB3GwtIaGF3kHIs2YX7mTnM56M4Fe2SWb2Xyx2StMP q+f0y8UA2poJKlsOZ/MouEB4sXH2Q2UbsmUaSjr7wh6HvkNHgfBOH0Te41Y1OU1rgcRVNe Efxw6HkMIBuVqUPzMjUMsIh9bW6H5uo6jm3d1DWaYjF9eN3ShD86mB6djtMV5NASI7Gks2 fsD0/jnFsC1ok+3ebn31ARpRfksvvXmluxbiikgapui2y65fSqq8QlhkTH71jqT1ixsdmb 5VsdstgBS8VrC0zpH3MUmJe1x04/tinP7omKXGVEAGHXrvZNqKgsUIrRXm19xQ== From: Andrew Tropin In-Reply-To: <87tu42nbk9.fsf_-_@gnu.org> References: <20221003135547.z4a6ocs7dijgb3nh@barak.in> <87o7ub815u.fsf@trop.in> <87tu42nbk9.fsf_-_@gnu.org> Date: Mon, 17 Oct 2022 16:51:11 +0400 Message-ID: <8735bmpq9s.fsf@trop.in> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" 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=1666011153; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=44R9BYusdi18Dy/ZuTF9A9f4W3H5s73GNSQoOGvisCg=; b=Al2FDL9NKe+R/YTVhb0zPOwPcvFeDDSHhK+EdV/76fB/g+zCg8GjJ/2jqNJjerMV0JYOJG 3mgPzySqpFylDTdKyytRMtDMcV3BnFZWqZXAE7gtRoWp9FuoHerTdIV9bjkvcGrJo53M8S N7nCZR0yOhD5/hyNSelOVlRBxhdZXY+InGeJMzRG9oMUoUUI9mCG8PcHrtv3X7qi9C5Rcq yujhP0noRBY65MkV4udOfO5+7uInPCrdMpSgpj8qMqyF8+J75W+iLMEOtnfz+scZ1v0kZY YknNApjuerCdHut0RdFZNj/2sdnEn4u+NKb8LcaofRxJL/AwcdIqKVE/2dw3vw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1666011153; a=rsa-sha256; cv=none; b=J3ttmSBOady/JWfcISv6Dyudw08GYzwdraclnK3n+oS/YjacNjizcSamDaKLVEHnnT2Sa2 uRpZc5L/Bx7DeFlA7bbBNCCs026Mnoq9MJXaQrSCk53o8gCj3crn1xiyarByYrctyc/8WR km7PCEV5Kb4GXWXPpSgsCXQyiOHR4a/ywEwuQaGM9AbQ8j2yz9Um4DwzuPZwgejdBa0F2n 2vMCkp1zUE9P/ng4X6ltkTQqYDNILQg6l/ZpljZFBUKyiJvBIYgFvCE18KqVEYS/aO2t+o gpNeNPtAJ8jEzYF8jFRL9lVZBTAmgY/DEAChJ3dguCXZqPHvMOiBfb+0Zlxp9w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=trop.in header.s=gm1 header.b=anQlvA4C; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -0.92 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=trop.in header.s=gm1 header.b=anQlvA4C; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 9A1391D5E7 X-Spam-Score: -0.92 X-Migadu-Scanner: scn0.migadu.com X-TUID: v/l6LEuhDrYu --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable On 2022-10-17 09:39, Mathieu Othacehe wrote: > Hello Andrew, > >>> + (false-if-exception >>> + (=3D (response-code >>> + (http-request "https://ci.guix.gnu.org")) >>> + 200)) >>> + (false-if-exception >>> + (=3D (response-code >>> + (http-request "https://bordeaux.guix.gnu.org")) >>> + 200)))) > > Thanks for taking care of this patch. I think the following part could > be factorized: > > (define (url-alive? url) > (false-if-exception > (=3D (response-code > (http-request url)) > 200))) > > also, the indentation is wrong. Could you please fix it? Thank you for the idea, pushed the change. =2D-=20 Best regards, Andrew Tropin --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEKEGaxlA4dEDH6S/6IgjSCVjB3rAFAmNNT78ACgkQIgjSCVjB 3rDVlxAAhNTbG/0aIiF8pTvT5ZoJzuNcFEg8x1ubh7mC81AWwFIkza25qNRmmnl4 sMQMxdY18By2cXfZdmIE4wjTjAvkx3Sav/bfVsOaajb7kJE3WrCjtyOHUCPMJ0R1 QAVfA1oFfEGPTDjstyKtjvIL4EE5wyS2qI0g5vlbo+j4mQkjJOcunji1Bz44uwDN LYx8WSc9RNmIw2J5FDKrJDDN/OBCeV3+2zsvg1CZoqK0HPoU3TsUP4rBTYMdsAVZ NERDx9s9nPyrYmy0iUv7CCJZL7EtazDOpKqyIuiqehW0aRPn1p2huXdwwcmjyoL1 KBpSH4I0oFDaqL1osyOSVUo2nhQEq/5uSLXm2ELM30pKSi66Rozyg/IORnO1Vzw0 j4/ovaGr+YL5K926SoPGjL707ThRIh9RXfhnmRW22DrkkZ6pmkFKQBdEY2RoOX2r YYek3N/bkmEzobG9dMvnpMludMl8FSoakkrsU+SmnGdQtK9xhAYsVL/omWqQZPHp QHA0VHSRX05CjjXP1K8/sGcoQCuA+1TAucVFfv55L+9EOqvj3RZTBBX9vMZwCFLJ ZaltEF2cDXNDqPdP6Eql0IL7j7IDdymw9IO+EWMyU1kDC884bz57uCuc+O1PiN4m I1FFg03qO0jbAc5sg+mucDMUz02g5/rYH5JBn3UvRHJWqw7rwXI= =QQcb -----END PGP SIGNATURE----- --=-=-=--