From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: Cook source disappeared Date: Sun, 24 Jul 2016 11:41:07 -0400 Message-ID: <20160724154107.GC32009@jasmine> References: <20160723184656.GA8123@solar> <20160723192335.GB9761@jasmine> <20160724015830.GA32375@jocasta.intra> <20160724131207.GK4905@debian-netbook> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:45873) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bRLWs-0001WX-RP for guix-devel@gnu.org; Sun, 24 Jul 2016 11:41:23 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bRLWo-0001Uf-Mx for guix-devel@gnu.org; Sun, 24 Jul 2016 11:41:21 -0400 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:49522) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bRLWn-0001TY-Gp for guix-devel@gnu.org; Sun, 24 Jul 2016 11:41:18 -0400 Content-Disposition: inline In-Reply-To: <20160724131207.GK4905@debian-netbook> 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" To: Efraim Flashner Cc: guix-devel@gnu.org On Sun, Jul 24, 2016 at 04:12:07PM +0300, Efraim Flashner wrote: > On Sun, Jul 24, 2016 at 03:58:30AM +0200, John Darrington wrote: > > I wonder if it would be worth having some kind of daemon which crawls and flags > > sources which are either missing, or have bad checksums? > > https://www.gnu.org/software/guix/packages/issues.html The URL check can also be done locally with the linter: $ guix lint --checkers=source Without any arguments, it will check the entire package tree. It doesn't check the hash, only that the URL returns something.