From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Subject: bug#22677: guix lint fails with -dc switch missing Date: Mon, 22 Feb 2016 12:18:19 +0100 Message-ID: <87vb5houx0.fsf@gnu.org> References: <20160215105953.GA26816@thebird.nl> <20160215114833.GA27061@thebird.nl> <87y4adr8ql.fsf@gnu.org> <20160222081542.GB597@thebird.nl> 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]:56661) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aXoWA-0001KE-CG for bug-guix@gnu.org; Mon, 22 Feb 2016 06:19:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aXoW6-0003Oz-7r for bug-guix@gnu.org; Mon, 22 Feb 2016 06:19:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:39747) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aXoW6-0003Ov-44 for bug-guix@gnu.org; Mon, 22 Feb 2016 06:19:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84) (envelope-from ) id 1aXoW5-0002DG-W0 for bug-guix@gnu.org; Mon, 22 Feb 2016 06:19:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <20160222081542.GB597@thebird.nl> (Pjotr Prins's message of "Mon, 22 Feb 2016 09:15:42 +0100") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: Pjotr Prins Cc: 22677@debbugs.gnu.org Pjotr Prins skribis: > On Sun, Feb 21, 2016 at 11:36:50PM +0100, Ludovic Court=C3=A8s wrote: >> Running =E2=80=98configure=E2=80=99 creates guix/config.scm. Could you = check that this >> is the case? > > Got it: > > > (define %gzip > "/home/wrk/.guix-profile/bin/gzip") > > (define %bzip2 > "/home/wrk/opt/guix-build-system/bin/bzip2") > > (define %xz > "/home/wrk/opt/guix-build-system/bin/xz") OK, looks good. Not sure what happened. Thanks, Ludo=E2=80=99.