From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id oIOXMHse1GMnGgEAbAwnHQ (envelope-from ) for ; Fri, 27 Jan 2023 19:56:59 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id aKSaMHse1GP4fwAA9RJhRA (envelope-from ) for ; Fri, 27 Jan 2023 19:56:59 +0100 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 A2CA9FA8D for ; Fri, 27 Jan 2023 19:56:59 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pLTtf-0001er-GA; Fri, 27 Jan 2023 13:56:23 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pLTtd-0001eR-Gd for guix-devel@gnu.org; Fri, 27 Jan 2023 13:56:21 -0500 Received: from mail-wm1-x336.google.com ([2a00:1450:4864:20::336]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pLTtb-0006fG-Up; Fri, 27 Jan 2023 13:56:21 -0500 Received: by mail-wm1-x336.google.com with SMTP id d4-20020a05600c3ac400b003db1de2aef0so4159443wms.2; Fri, 27 Jan 2023 10:56:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=FFK8WX4oK5mOLOk/M1SHIW8Jgn3iwJ+68Pj8gVa+jsc=; b=UV1ob+FW7SVRwpWPaX3WkakG3W3q6RVpllGU0geqk0znrCma4NfHBhSVLrt+C4xgru MYelhfcUzPHBoZBJnq5tI5KHUNhg7Ae0K6DLK7Oi621oB37pspFCFUtgx27PYcKXYrp3 xgr/55b83gM9njDGnFj7qmVxGlfFjzd6eBk5yKsMcB99hC63BURFyTgwyLrkhBLp9Ooj 3OTEuod7UMtAuDknqjbi5lyxonLDWggr6Lz7/e0/9zZLVoyxzp3v2bJ5Wo4H2fkZZtNL Fk9/OUVHMloOZQrAnN8DmZURi6T2LpYw1ftWsIuhc6NByxpD++ZIigciAuK5Lu4tLzl9 XfRg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=FFK8WX4oK5mOLOk/M1SHIW8Jgn3iwJ+68Pj8gVa+jsc=; b=ke0QJeYR53cV+nAdUYspw/y500epXikh0XnGKpHvs2BApCBN86EzAuuM8e1WSWxJSs vlSzgeos1/H2WCmBEF1sIs1EaUs1i5RFRK80JzBw/lo7yfXCBF5qh8YvkkuXgb21NX4V 9t2PL9RSYT16YypzbmA3YuBgZyorw0qCA7ssOrqp1+p/TwjVi3rKilnbRfu4+nQ9MWXf S7LJHRqy0OPzz/3UxGboX2PHDal6W/2rsbHEBTHzJeTk8Jxjp4tQmKKd1dF+p3wmaHph M0rUeSaBIvs+DBI8BhF9G2B2AKdQrmf01C0DwRLX2aqYR7SI9eVzrXYzK7RzFOgltqrR urCg== X-Gm-Message-State: AO0yUKVo4gDp56QKEH2pD834q1tGUYFYTKVxllTZ9GVBAAwnfoW5UFtT 2F7UPntlQI9U/eDzgJNmQ3SnK0MsgU0= X-Google-Smtp-Source: AK7set9kS9MnIQo+saiLU0gI0WRU2wR424gx3EUnx/ETw1TFG9LFhAQfJzGXqPCyhlssRg2faU/3Kw== X-Received: by 2002:a05:600c:3c8e:b0:3dc:3398:cf6f with SMTP id bg14-20020a05600c3c8e00b003dc3398cf6fmr1000249wmb.3.1674845776771; Fri, 27 Jan 2023 10:56:16 -0800 (PST) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id l21-20020a05600c4f1500b003b47b80cec3sm9622908wmq.42.2023.01.27.10.56.16 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 27 Jan 2023 10:56:16 -0800 (PST) From: Simon Tournier To: Vagrant Cascadian , Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel@gnu.org Subject: Re: guix lint false positives and RFC patch In-Reply-To: <87v8njliub.fsf@contorta> References: <87leosd8bg.fsf@contorta> <87tu3goyia.fsf@gnu.org> <877d0beh4i.fsf@contorta> <87leoqcq8p.fsf@contorta> <87k049jnl9.fsf@gnu.org> <87v8njliub.fsf@contorta> Date: Fri, 27 Jan 2023 18:42:53 +0100 Message-ID: <87cz6zoov6.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::336; envelope-from=zimon.toutoune@gmail.com; helo=mail-wm1-x336.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1674845819; 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=FFK8WX4oK5mOLOk/M1SHIW8Jgn3iwJ+68Pj8gVa+jsc=; b=F2PbeDpUmppKPgJnwoDyFcewJhiyCsCBWGPPODZr2XeG6mHhtJsQXCrh8yfvwX6CNsCz8h 3aJaKYEWgbE4xYvoTqMs1EyIIkLTKIqJ6x8SRL0G3GW+O+Y+n+yXn4hpv2PYUe13LIddAo dt3sqCOMg+e5MYnF5ShAOovmBJK+sbSUZQdEbXvxaeYPKRk3tKlPaPw03u/bPFTrwU5kmG bOUmBd+GBzS90ajMqTox9jwvWTLIzKdBlR5hJ62w/cld00sxbQPveXoZbMPk5NzmZ5hanI EdODaIlIBcQ+zfI85p8SDMVCNDM6Ueh5vOWVWlyaJ4fICGmbXW00FKuF36b6qQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=UV1ob+FW; dmarc=pass (policy=none) header.from=gmail.com; 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" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1674845819; a=rsa-sha256; cv=none; b=YbI7sxBjTUlX9Oly+K+bSYTVMAo+z0V7ntBeYNTXBS+mTOoIzK4EqVF8+pVAx3o66Ffkyr WdfKeMt56EZNYSgYuDogJcL+NkxLPyJSzh8W9ooJ0pEoEH3Xz8ah9VEw+BuW8CgGSJ0RUA SGxbfiAauzMq3tgt5Q4VIx1tKbxOd3MZ7A1MYmHW4m35ng0XhMY2eY0YeK5opvVdQw2uzT UOBJsStE3GW05YH37aUKmKp7gsHz5/qxu5QJ44oL3S0NLAamaibfPiArBf4ylypY5B8KAv PvjZrYu/VywckFVO5GvNL9AfTYllNFxOElMPSmizxE3b2iu672dN3A9H/+3qDg== Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=UV1ob+FW; dmarc=pass (policy=none) header.from=gmail.com; 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-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -9.75 X-Spam-Score: -9.75 X-Migadu-Queue-Id: A2CA9FA8D X-TUID: h1j5hWZ+oj1z Hi, On sam., 12 nov. 2022 at 17:54, Vagrant Cascadian wrot= e: > On 2022-11-05, Ludovic Court=C3=A8s wrote: >> Vagrant Cascadian skribis: >>> From bfa13fdd3616839883e50efbbc05fb132610ce67 Mon Sep 17 00:00:00 2001 >>> From: Vagrant Cascadian >>> Date: Wed, 2 Nov 2022 19:56:12 -0700 >>> Subject: [PATCH 01/12] guix: lint: Exclude some "@" symbols from various >>> checks. >>> >>> The visual representation of "@code{}" or similar in the description and >>> synopsis do not include the string, so exclude it from checks to avoid = false >>> positives. >>> >>> FIXME handle @command, @file, @acronym, etc. >>> >>> * guix/linx.scm (properly-starts-sentence): Exclude leading "@". >>> (check-synopsis-length): Exclude "@code" and "@acronym". >> >> LGTM! Bonus points for a test in =E2=80=98tests/lint.scm=E2=80=99. :-) > > No bonus points for me just yet... [...] > What is failing to match what here? Well, almost done but not merged, right? Still an issue this =E2=80=99match=E2=80=99? Cheers, simon