From mboxrd@z Thu Jan 1 00:00:00 1970 From: Federico Beffa Subject: Broken URLs Date: Fri, 13 Nov 2015 09:36:30 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:36549) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zx9qS-0007ad-WC for guix-devel@gnu.org; Fri, 13 Nov 2015 03:36:34 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zx9qR-00014I-Tc for guix-devel@gnu.org; Fri, 13 Nov 2015 03:36:32 -0500 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+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: ludo@gnu.org, Guix-devel ludo@gnu.org (Ludovic Court=C3=A8s) writes: > As discussed today on IRC, commit bd7e1ff adds a timeout on connection > attempts made by =E2=80=98guix lint=E2=80=99 for the =E2=80=98source=E2= =80=99 and =E2=80=98home-page=E2=80=99 checkers. > > Along with the previous commits, it=E2=80=99s allowed me to run a whole-d= istro > check with: > > guix lint -c source,home-page > > It seems to work nicely (it still leaks FDs due to > but that=E2=80=99s OK since these are eventua= lly > GC=E2=80=99d.) > > After letting it run for ~20mn, I=E2=80=99ve collected a whole bunch of U= RL > issues (below) that I=E2=80=99m sure everyone will rush to fix. :-) ... > gnu/packages/maths.scm:1645:15: atlas-3.10.2: URI > http://math-atlas.sourceforge.net/ unreachable: Connection timed out I can reach this URL without problems. Regards, Fede