From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id CHhYEz8HTWMQXQAAbAwnHQ (envelope-from ) for ; Mon, 17 Oct 2022 09:41:51 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id eEk6Ez8HTWPfdQEAauVa8A (envelope-from ) for ; Mon, 17 Oct 2022 09:41:51 +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 D09013D48F for ; Mon, 17 Oct 2022 09:41:50 +0200 (CEST) Received: from localhost ([::1]:48418 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1okKkv-0006Sq-Oa for larch@yhetil.org; Mon, 17 Oct 2022 03:41:49 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52422) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1okKjC-0006GR-Oc for guix-patches@gnu.org; Mon, 17 Oct 2022 03:40:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:48011) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1okKjC-00033g-DK for guix-patches@gnu.org; Mon, 17 Oct 2022 03:40:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1okKjC-0000Wl-8B for guix-patches@gnu.org; Mon, 17 Oct 2022 03:40:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#58273] [PATCH] installer: checks the availability of the mirror Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 17 Oct 2022 07:40: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: Andrew Tropin Cc: 58273@debbugs.gnu.org, aleksandr barakin Received: via spool by 58273-submit@debbugs.gnu.org id=B58273.16659923871995 (code B ref 58273); Mon, 17 Oct 2022 07:40:02 +0000 Received: (at 58273) by debbugs.gnu.org; 17 Oct 2022 07:39:47 +0000 Received: from localhost ([127.0.0.1]:47089 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1okKix-0000W7-FU for submit@debbugs.gnu.org; Mon, 17 Oct 2022 03:39:47 -0400 Received: from eggs.gnu.org ([209.51.188.92]:38744) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1okKiv-0000Vr-0D for 58273@debbugs.gnu.org; Mon, 17 Oct 2022 03:39:45 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:33994) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1okKio-00032V-Lm; Mon, 17 Oct 2022 03:39:38 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=IQvgcwE6zSvONig9IU+D2q39bj3/eIKXk738eiS+IEw=; b=YdHm+Tfu2pN4Il+P0Wzo QZA23fVcxAbP6Z22PJG3Bqz+kORDrtvrwYWJFSmeaDHLpcPK50YPPGfJLjBggSTBfRMB92/SeMsJw YXfK+wZ5s8eZmTdnj2IUgMTRj9B+jK+6U5aIi3mV1P3dgshkS1e/+2s9gLaPMVOJ9cgS187h6Gj3R 5qR6lv4BiK7hFpnbxdSRd2iwZXzOTnKyDGFlS4VhNXnmx5rmtpdn5feKFjmBuIIZ0wZQiPjMihlpm T/YhHQtxE0YXu/uM6WEejaHjsXek5ChxRSgufKSs/h5w6mC+yYExV0bC0WcFFjUN5oAt2OhXZk8/C xhswQ7cGLoUJSQ==; Received: from 2a02-8429-81d2-3d01-94c9-8097-ea5c-2775.rev.sfr.net ([2a02:8429:81d2:3d01:94c9:8097:ea5c:2775]:53808 helo=meije) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1okKin-0006qy-Pz; Mon, 17 Oct 2022 03:39:38 -0400 From: Mathieu Othacehe References: <20221003135547.z4a6ocs7dijgb3nh@barak.in> <87o7ub815u.fsf@trop.in> Date: Mon, 17 Oct 2022 09:39:34 +0200 In-Reply-To: <87o7ub815u.fsf@trop.in> (Andrew Tropin's message of "Mon, 17 Oct 2022 09:33:17 +0400") Message-ID: <87tu42nbk9.fsf_-_@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain 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=1665992510; 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=IQvgcwE6zSvONig9IU+D2q39bj3/eIKXk738eiS+IEw=; b=SfAKwd8jyDWQXluK/jRZD4b7NGUvgaJ7HGNvfKwMkO8U3yCI+451tqBE+mYPAF1KLZI0gK yHi/dTLZ255FtU4AmGi1gdwj0+J6Ou0N0sl7lOki2we0WOGEUEuY8HnW08G02FdMPt449m zUejcLOWDJrvIMYGC6HTrsaqcu+AUJnNPuf8ExW53adQ98M+zHOzKAFeoCw4QSTS0u9RTV +FnZda2wTETughs9R8FtYo1YglT2V73z3WDDxOMxmfQDRRw8G5LZxE+z+9zHrkcbiSURED 9CrTCFxTVgd+ibb54gglXrDowptqFSl3AdBhcZmPbLdHMNBQia12dgP3FJvV4A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1665992510; a=rsa-sha256; cv=none; b=qgqgq1dxk7J8EpGQOChXzZFR1Tq1wLLsoTZlzcyzQ1f5BsGc1KrVYkedhyvI4PHgf+GD51 K9M+HGz3JucK/FZlmXiroY+lLHkfViSGEaubfyDP27CegjzclbQoXhzGpC65L0VzzRtgji Y/M8MFI6tNDByO5WF9HC4znPeTlt7sj53CYmsHlc+K6QR2LBeofJHX+MoeUoY0zUgfHbNN N0ITLlRgKpKYxrirhSkHxzg9qrCCcWX7Dpi1oTdeXLdjSBat00ixMlTflL7CyQjE7lipZC jBjy+pt2li8MZt5oxtwNuIw2kbydF4aEmzzgNWODoPj1PyvIqAuJ1z4UfV2n4A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=YdHm+Tfu; dmarc=pass (policy=none) header.from=gnu.org; 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: -4.12 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=YdHm+Tfu; dmarc=pass (policy=none) header.from=gnu.org; 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: D09013D48F X-Spam-Score: -4.12 X-Migadu-Scanner: scn0.migadu.com X-TUID: 2g+DpzqQeDth Hello Andrew, >> + (false-if-exception >> + (= (response-code >> + (http-request "https://ci.guix.gnu.org")) >> + 200)) >> + (false-if-exception >> + (= (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 (= (response-code (http-request url)) 200))) also, the indentation is wrong. Could you please fix it? Thanks, Mathieu