From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: [PATCH 0/2] Add "guix lint". Date: Tue, 22 Jul 2014 21:27:18 +0200 Message-ID: <20140722192718.GA14678@debian> References: <1405986718-26208-1-git-send-email-tipecaml@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54775) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9fip-0005en-E2 for guix-devel@gnu.org; Tue, 22 Jul 2014 15:27:42 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1X9fif-0001aK-V9 for guix-devel@gnu.org; Tue, 22 Jul 2014 15:27:35 -0400 Received: from mout.kundenserver.de ([212.227.126.131]:49344) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1X9fif-0001aF-M5 for guix-devel@gnu.org; Tue, 22 Jul 2014 15:27:25 -0400 Content-Disposition: inline In-Reply-To: <1405986718-26208-1-git-send-email-tipecaml@gmail.com> 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: Cyril Roelandt Cc: guix-devel@gnu.org This looks interesting, but similarly to some comment about "guix package --show", I am wondering about the profusion of commands. Maybe we should use guix devel --lint instead? It would make clear that this option is only of interest to developers, and pave the way for more developer related functionalities. Andreas