From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: New home-page checker for =?utf-8?B?4oCYZ3VpeCBsaW504oCZ?= Date: Sun, 28 Dec 2014 18:02:03 +0100 Message-ID: <87oaqnbtdg.fsf@gnu.org> 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]:37799) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y5HEK-0004mo-BW for guix-devel@gnu.org; Sun, 28 Dec 2014 12:02:13 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Y5HEF-0002Gt-Ft for guix-devel@gnu.org; Sun, 28 Dec 2014 12:02:12 -0500 Received: from hera.aquilenet.fr ([2a01:474::1]:60103) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Y5HEF-0002Gn-9Z for guix-devel@gnu.org; Sun, 28 Dec 2014 12:02:07 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id E91504345 for ; Sun, 28 Dec 2014 18:02:04 +0100 (CET) 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 UO4rU7EEG1Dv for ; Sun, 28 Dec 2014 18:02:04 +0100 (CET) Received: from pluto (reverse-83.fdn.fr [80.67.176.83]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 5DAFC1675 for ; Sun, 28 Dec 2014 18:02:04 +0100 (CET) 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: guix-devel The =E2=80=98guix lint=E2=80=99 command now has a new =E2=80=98home-page=E2= =80=99 checker that does what you would expect: --8<---------------cut here---------------start------------->8--- $ ./pre-inst-env guix lint -c home-page=20 gnu/packages/admin.scm:449:15: isc-dhcp-4.3.0: home page http://www.isc.org= /products/DHCP/ not reachable: 404 ("Not Found") gnu/packages/gtk.scm:391:14: gtk+-3.10.1: home page unreachable: No route t= o host gnu/packages/image.scm:335:15: giblib-1.2.4: home page http://linuxbrit.co.= uk/software/ not reachable: 500 ("Internal Server Error") gnu/packages/make-bootstrap.scm:596:43: static-binaries-tarball-0: invalid = value for home page gnu/packages/stalonetray.scm:41:15: stalonetray-0.8.1: invalid home page UR= L: "stalonetray" gnu/packages/xdisorg.scm:330:15: scrot-0.8: home page http://linuxbrit.co.u= k/software/ not reachable: 500 ("Internal Server Error") --8<---------------cut here---------------end--------------->8--- This has already allowed me to fix and update a bunch of URLs. The impetus was a message by the gnu.org webmasters pointing to a list of broken links on gnu.org, and happened to have many of them. Comments and bug reports welcome! Ludo=E2=80=99.