From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id kCYjMMbH0GLu6wAAbAwnHQ (envelope-from ) for ; Fri, 15 Jul 2022 03:49:58 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id sAoLMMbH0GKPcQEAauVa8A (envelope-from ) for ; Fri, 15 Jul 2022 03:49:58 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 7DB132C848 for ; Fri, 15 Jul 2022 03:49:58 +0200 (CEST) Received: from localhost ([::1]:54548 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oCASr-0002eQ-CG for larch@yhetil.org; Thu, 14 Jul 2022 21:49:57 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:33668) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oCASZ-0002cq-Mj for guix-devel@gnu.org; Thu, 14 Jul 2022 21:49:39 -0400 Received: from mx1.dismail.de ([78.46.223.134]:33044) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oCASX-0004vJ-AJ for guix-devel@gnu.org; Thu, 14 Jul 2022 21:49:39 -0400 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id edab89c9; Fri, 15 Jul 2022 03:49:31 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=date :message-id:from:to:cc:subject:in-reply-to:references :mime-version:content-type:content-transfer-encoding; s= 20190914; bh=fKR+t8cbeW1H7KGg9LxrRfkH9fQjPRSUKhyZAqDStw4=; b=Jr4 ktdgn3YbLeCSi9HNXnCTPXTVyo6j9WIINcG+fqdmdV9mrAOQ6Rov0uhOWmV6BdL9 BYjps9szH/Nkb08YfuHrZQuMB+ZrtypG1E8iFYYbbeOv9zsf9zdHIBsrZfJTRuPo UxAxKF+NwGUxCtL08CtGbUHrWqpVcQ7sbwtSayVOiOM1dWISUSDTmTkyPPrckEQm FgNvppy4IXFcw1vRaZbz1fuLRrEwFrVV4BNwWjwEb2h6CE6umK9/ZFT8MZ7YYWAl XV2VEUeStO30C7d4O8Mezzjs5pE0VLr/x/fxGsBKqA6hoLZbqxot9E+0PvuwIhM7 zXUGhkgTwrxZQRQDhww== Received: from smtp2.dismail.de ( [10.240.26.12]) by mx1.dismail.de (OpenSMTPD) with ESMTP id f2a7f683; Fri, 15 Jul 2022 03:49:31 +0200 (CEST) Received: from smtp2.dismail.de (localhost [127.0.0.1]) by smtp2.dismail.de (OpenSMTPD) with ESMTP id 0582570c; Fri, 15 Jul 2022 03:49:31 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id ce409476 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Fri, 15 Jul 2022 03:49:30 +0200 (CEST) Date: Thu, 14 Jul 2022 20:49:37 -0500 Message-ID: <20220714204937.GB1464@gac> From: jgart To: zimoun Cc: Guix Devel Subject: Re: emacs-flymake-guix `guix lint -n` In-Reply-To: <86zghc2fe4.fsf@gmail.com> References: <20220713211842.GB6138@gac> <86zghc2fe4.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=78.46.223.134; envelope-from=jgart@dismail.de; helo=mx1.dismail.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list 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+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1657849798; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=IS/L9IwmkCriTDR0BZuHptW6pZBBsMwFtf7gGN8EbzE=; b=VgxYPfRpet+X8VV1B6n8RGvxnUyiXg4XBKtdFYTtO9ulQWY9UnmI/WXaKBELMooSJRDMqU jDgVO+7zD+ImIJ5hkDV9OGhiFN/HO4FKQz7VtPwv95aBFBbiSLJUHM11tr3OvE+r7Y3ziD /HG5ml2OR1Axdf2GNg23UDEPVuqzcE066TEDQC/lG45Si+siXAQLwsMx9Ii/eyR9KVStO2 b8q2ikmKW78cTUeFaw8JP3PKy+WcILHVVqBPTuM9ET6Gn+SZSbd3dTky7LO/aZrNJp/7C8 ArR/ZSkjG5wu2yOsYwKP1r8kX027aMG9COtckZgR8837fakTTzkBDeN9GvlDWw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1657849798; a=rsa-sha256; cv=none; b=GkSL1hbLt+JZRMQUTqpuztRbSbBtGIGGH7tIZIFro+DoX4U7euWMi4P8qxdpLx+Zhb0a8K 9kVecQNGDVv8embrCC3s07KxgQEwA1MFjnc6abWkkGQEhLVNaBrmN7RJ9/xM56x9WYHyoq I54xe136yu5nCGNOQj5QGDvTLLxDo8AtZqUW54HztVz0zfCFBqFwqD8mMmcNZ0dnOsBWlW wu33ksLDlzUrNtHG4BvNggPOoTwx8c0smIDUHqi3Oji48jlZVMdL8/65t3sZJASnRkDDqL Poj8gbAWLlMDEVdBDpSCkkvliHlK2b7lMMRfQQ78mTTII1Soc7oOcDUogHM3MA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=dismail.de header.s=20190914 header.b="Jr4 ktdg"; dmarc=pass (policy=reject) header.from=dismail.de; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -5.85 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=dismail.de header.s=20190914 header.b="Jr4 ktdg"; dmarc=pass (policy=reject) header.from=dismail.de; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 7DB132C848 X-Spam-Score: -5.85 X-Migadu-Scanner: scn0.migadu.com X-TUID: oVyAob0Y/BjU On Thu, 14 Jul 2022 11:49:07 +0200 zimoun wrote: > Hi, > > On Wed, 13 Jul 2022 at 21:18, jgart wrote: > > Hi Guixers is there currently an emacs package that provides a flymake backend for `guix lint -n`? > > What do you mean? See this collection of flymake backends, for example: https://github.com/mohkale/flymake-collection/tree/release/src/checkers I mean to have lint warnings show up as you're editing a guix package in an emacs buffer and have it be integrated into the built-in flymake: https://www.gnu.org/software/emacs/manual/html_mono/flymake.html > Well, the Emacs package emacs-guix allows to use “guix lint” from > Emacs. Maybe improving this emacs-guix could be worth. Or another > fresh one just for linting; I do not know. :-) Maybe adding a linter to flymake-collection might be the easiest. I think the `guix lint` implementation in emacs-guix lets you run the command manually but it's not integrated into a syntax checker like flymake. Correct me if I'm wrong on that. all best, jgart