GNU logs - #59217, boring messages


Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#59217] [PATCH] guix: lint: Improve message in linter warning.
Resent-From: jgart <jgart@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sat, 12 Nov 2022 15:10:02 +0000
Resent-Message-ID: <handler.59217.B.166826577117982 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 59217
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 59217 <at> debbugs.gnu.org
Cc: jgart <jgart@HIDDEN>
X-Debbugs-Original-To: guix-patches@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.166826577117982
          (code B ref -1); Sat, 12 Nov 2022 15:10:02 +0000
Received: (at submit) by debbugs.gnu.org; 12 Nov 2022 15:09:31 +0000
Received: from localhost ([127.0.0.1]:48776 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1ots8R-0004fy-7n
	for submit <at> debbugs.gnu.org; Sat, 12 Nov 2022 10:09:31 -0500
Received: from lists.gnu.org ([209.51.188.17]:37652)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <jgart@HIDDEN>) id 1ots8P-0004fq-Fm
 for submit <at> debbugs.gnu.org; Sat, 12 Nov 2022 10:09:30 -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 <jgart@HIDDEN>) id 1ots8P-00017a-B8
 for guix-patches@HIDDEN; Sat, 12 Nov 2022 10:09:29 -0500
Received: from mx2.dismail.de ([159.69.191.136])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <jgart@HIDDEN>) id 1ots8N-0002wC-4w
 for guix-patches@HIDDEN; Sat, 12 Nov 2022 10:09:29 -0500
Received: from mx2.dismail.de (localhost [127.0.0.1])
 by mx2.dismail.de (OpenSMTPD) with ESMTP id 0b5cf24f
 for <guix-patches@HIDDEN>; Sat, 12 Nov 2022 16:09:24 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h=from:to:cc
 :subject:date:message-id:mime-version:content-type
 :content-transfer-encoding; s=20190914; bh=ewQtYoO7NpgACFxdtCOaM
 lDEajBdZ3/but4cVjhbls0=; b=Lweh1ucQlwH1Uvvnxr07lXcibEYyQqk8oFPwa
 9XqVh7RfnJSqHsWIHNgljesyEHvtO361amJ8nt8FnEbmnh5U10kXufKOSCQBLXkh
 HloLhyDhLAAcFouzh+jFpg8iBFiYdSnYAWujslgUx7siJQrP4ppKCia1PyhMEfKz
 5Hm2OlE8TAbak1u3XPVgltDlQGCUhO8kxLZaGCmQ16jVymgKo13e4DYg/LuwPhF7
 O1arnj52Fdv4ALnKVxiUq96oS8+JiPxIAj3IJQw9jYIAYOlcZ9eMJLI8B3+S+RU5
 DehaChphd4iX43/2dJwPdgqiItfiWHX0AxD0Rvk1OXAVA6Pjw==
Received: from smtp1.dismail.de (<unknown> [10.240.26.11])
 by mx2.dismail.de (OpenSMTPD) with ESMTP id 39bc3a86
 for <guix-patches@HIDDEN>; Sat, 12 Nov 2022 16:09:24 +0100 (CET)
Received: from smtp1.dismail.de (localhost [127.0.0.1])
 by smtp1.dismail.de (OpenSMTPD) with ESMTP id f8995782
 for <guix-patches@HIDDEN>; Sat, 12 Nov 2022 16:09:24 +0100 (CET)
Received: by dismail.de (OpenSMTPD) with ESMTPSA id c25b5387
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); 
 Sat, 12 Nov 2022 16:09:23 +0100 (CET)
From: jgart <jgart@HIDDEN>
Date: Sat, 12 Nov 2022 09:09:07 -0600
Message-Id: <20221112150907.29793-1-jgart@HIDDEN>
X-Mailer: git-send-email 2.38.1
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=159.69.191.136; envelope-from=jgart@HIDDEN;
 helo=mx2.dismail.de
X-Spam_score_int: -43
X-Spam_score: -4.4
X-Spam_bar: ----
X-Spam_report: (-4.4 / 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_MED=-2.3, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.6 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.4 (/)

* guix/lint.scm (check-end-of-sentence-space): Improve message.
---
 guix/lint.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/guix/lint.scm b/guix/lint.scm
index 8e3976171f..37a9539e2c 100644
--- a/guix/lint.scm
+++ b/guix/lint.scm
@@ -14,6 +14,7 @@
 ;;; Copyright © 2021 Xinglu Chen <public@HIDDEN>
 ;;; Copyright © 2021, 2022 Maxime Devos <maximedevos@HIDDEN>
 ;;; Copyright © 2021 Brice Waegeneire <brice@HIDDEN>
+;;; Copyright © 2022 jgart <jgart@HIDDEN>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -409,7 +410,7 @@ (define (check-end-of-sentence-space description)
           (list
            (make-warning package
                          (G_ "sentences in description should be followed ~
-by two spaces; possible infraction~p at ~{~a~^, ~}")
+by two spaces due to issues wth Emacs; possible infraction~p at ~{~a~^, ~}")
                          (list (length infractions)
                                infractions)
                          #:field 'description)))))
-- 
2.38.1





Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: jgart <jgart@HIDDEN>
Subject: bug#59217: Acknowledgement ([PATCH] guix: lint: Improve message
 in linter warning.)
Message-ID: <handler.59217.B.166826577117982.ack <at> debbugs.gnu.org>
References: <20221112150907.29793-1-jgart@HIDDEN>
X-Gnu-PR-Message: ack 59217
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 59217 <at> debbugs.gnu.org
Date: Sat, 12 Nov 2022 15:10:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 guix-patches@HIDDEN

If you wish to submit further information on this problem, please
send it to 59217 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
59217: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D59217
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems


Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#59217] Acknowledgement ([PATCH] guix: lint: Improve message in linter warning.)
Resent-From: jgart <jgart@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sat, 12 Nov 2022 15:16:01 +0000
Resent-Message-ID: <handler.59217.B59217.166826613118545 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 59217
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 59217 <at> debbugs.gnu.org
Cc: Arun Isaac <arunisaac@HIDDEN>
Received: via spool by 59217-submit <at> debbugs.gnu.org id=B59217.166826613118545
          (code B ref 59217); Sat, 12 Nov 2022 15:16:01 +0000
Received: (at 59217) by debbugs.gnu.org; 12 Nov 2022 15:15:31 +0000
Received: from localhost ([127.0.0.1]:48782 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1otsEF-0004p3-1w
	for submit <at> debbugs.gnu.org; Sat, 12 Nov 2022 10:15:31 -0500
Received: from mx2.dismail.de ([159.69.191.136]:7248)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <jgart@HIDDEN>) id 1otsED-0004op-68
 for 59217 <at> debbugs.gnu.org; Sat, 12 Nov 2022 10:15:29 -0500
Received: from mx2.dismail.de (localhost [127.0.0.1])
 by mx2.dismail.de (OpenSMTPD) with ESMTP id 9789e716;
 Sat, 12 Nov 2022 16:15:22 +0100 (CET)
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=HAuPdCJRAEE14S4d+Gt9GdpTXuZA9Z6rBTAUoawT1mc=; b=tbq
 uSRFwXjEK1q6cykryij9VJBRHPEHQ+GJ4G4jQjXyNtKR+9npJkfxQdojbBGrG89o
 JcGxrjXEdge09yjkDmA8L/nOBdiuofMD1+H2fa6sp2yrPXVyO7Yk8fzzRqsEMnP0
 GJOVm8fnZxkpdZMMbcvwaDDlO33CDpbHVtOrVVaNMxnfgqle7ll7DprCRLO2T5vr
 Kja6Vo5jGPvuZ+UASJlRP+IciX+3GhD4uHuHEqgdu8uehV+OeXeCQd5eM8Et82Qx
 8eYAPocY/xMaM87A6pg+aC8GVoWmTkn1DbPEE9r03U5opPt9rZfPXOpsOMszQZ9N
 KNbtk2k5eVbh0QSWSjw==
Received: from smtp2.dismail.de (<unknown> [10.240.26.12])
 by mx2.dismail.de (OpenSMTPD) with ESMTP id 5192c01d;
 Sat, 12 Nov 2022 16:15:22 +0100 (CET)
Received: from smtp2.dismail.de (localhost [127.0.0.1])
 by smtp2.dismail.de (OpenSMTPD) with ESMTP id b0c6f7b1;
 Sat, 12 Nov 2022 16:15:22 +0100 (CET)
Received: by dismail.de (OpenSMTPD) with ESMTPSA id 7ebcf71f
 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); 
 Sat, 12 Nov 2022 16:15:21 +0100 (CET)
Date: Sat, 12 Nov 2022 09:15:15 -0600
Message-ID: <20221112091515.GB30032@HIDDEN>
From: jgart <jgart@HIDDEN>
In-Reply-To: <handler.59217.B.166826577117982.ack <at> debbugs.gnu.org>
References: <20221112150907.29793-1-jgart@HIDDEN>
 <handler.59217.B.166826577117982.ack <at> debbugs.gnu.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

On Sat, 12 Nov 2022 15:10:02 +0000 help-debbugs@HIDDEN (GNU bug Tracking System) wrote:
> Thank you for filing a new bug report with debbugs.gnu.org.

Hi Arun,

Not sure if you remember that conversation we had about the linter
warning regarding emacs and having to use two spaces in description
field sentences.

Would you mind recapping the issue so that I can improve this message further.

What I wrote is currently vague:

Why do the sentences in the description field have to be separated by two spaces due to Emacs?

all best,

jgart




Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#59217] [PATCH] guix: lint: Improve message in linter warning.
Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sat, 19 Nov 2022 18:38:02 +0000
Resent-Message-ID: <handler.59217.B59217.166888307719984 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 59217
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: jgart <jgart@HIDDEN>
Cc: 59217 <at> debbugs.gnu.org
Received: via spool by 59217-submit <at> debbugs.gnu.org id=B59217.166888307719984
          (code B ref 59217); Sat, 19 Nov 2022 18:38:02 +0000
Received: (at 59217) by debbugs.gnu.org; 19 Nov 2022 18:37:57 +0000
Received: from localhost ([127.0.0.1]:41127 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1owSiz-0005CG-2n
	for submit <at> debbugs.gnu.org; Sat, 19 Nov 2022 13:37:57 -0500
Received: from eggs.gnu.org ([209.51.188.92]:58354)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@HIDDEN>) id 1owSiy-0005C2-8K
 for 59217 <at> debbugs.gnu.org; Sat, 19 Nov 2022 13:37:56 -0500
Received: from fencepost.gnu.org ([2001:470:142:3::e])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ludo@HIDDEN>)
 id 1owSir-0007cC-PG; Sat, 19 Nov 2022 13:37:49 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To:
 From; bh=EBv+NtgbUeMaEujKtdR9FBvIPEek3v3zRZLADqCt0f4=; b=dSMYCZySCZRYBaWetLC7
 Zqc1S7WBzu2DlGnFxh8lVvO3XAIJThqm2GNYpqKu6T6aa2pVfm3HXg9siPL7goU55bXgEZjnUEdOI
 aDJKVK0DrAiXcgc+px5l2MJf6fbKI90cpf8D9phGba7LeiT8iUUFpAEevn2XYc3mF0jQB2PlYxZR2
 D00wlvaBEtfdjsJnZv6OdTPHhBndo0CtPDbJ8r0f4+UeOneOuQh+cygEE4BPCre05cEia28c2+/NA
 HmqH8dhiIEqo3Nl3lJGQyyfTTk/DdJmJniOAnPRpAiYij/lXI7GMJZi9EMg2bvkVZbETGxgkMKhad
 61Khxfc+NfDu4Q==;
Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <ludo@HIDDEN>)
 id 1owSiq-0006fi-OZ; Sat, 19 Nov 2022 13:37:49 -0500
From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@HIDDEN>
References: <20221112150907.29793-1-jgart@HIDDEN>
Date: Sat, 19 Nov 2022 19:37:46 +0100
In-Reply-To: <20221112150907.29793-1-jgart@HIDDEN> (jgart@HIDDEN's
 message of "Sat, 12 Nov 2022 09:09:07 -0600")
Message-ID: <87v8na94ed.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

Hi,

jgart <jgart@HIDDEN> skribis:

> * guix/lint.scm (check-end-of-sentence-space): Improve message.

[...]

> -by two spaces; possible infraction~p at ~{~a~^, ~}")
> +by two spaces due to issues wth Emacs; possible infraction~p at ~{~a~^, =
~}")

Probably the two-space story needs an explanation, but what about adding
it to the manual, with a cross-ref to the relevant Emacs manual section?

Thanks,
Ludo=E2=80=99.




Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#59217] Acknowledgement ([PATCH] guix: lint: Improve message in linter warning.)
Resent-From: Arun Isaac <arunisaac@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Tue, 22 Nov 2022 20:59:02 +0000
Resent-Message-ID: <handler.59217.B59217.166915071617537 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 59217
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: jgart <jgart@HIDDEN>, 59217 <at> debbugs.gnu.org
Received: via spool by 59217-submit <at> debbugs.gnu.org id=B59217.166915071617537
          (code B ref 59217); Tue, 22 Nov 2022 20:59:02 +0000
Received: (at 59217) by debbugs.gnu.org; 22 Nov 2022 20:58:36 +0000
Received: from localhost ([127.0.0.1]:52685 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1oxaLj-0004Yl-Py
	for submit <at> debbugs.gnu.org; Tue, 22 Nov 2022 15:58:36 -0500
Received: from mugam.systemreboot.net ([139.59.75.54]:38698)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <arunisaac@HIDDEN>) id 1oxaLS-0004YJ-Cs
 for 59217 <at> debbugs.gnu.org; Tue, 22 Nov 2022 15:58:34 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
 d=systemreboot.net; s=default; h=Content-Type:MIME-Version:Message-ID:Date:
 References:In-Reply-To:Subject:To:From:Sender:Reply-To:Cc:
 Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date:
 Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:
 List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=1RlebR6dnkeL/rxi1mCxuuQxDQ/pE+iiQnL3ZXd7EHU=; b=bOMp8T638HM4sX7olYcmyUAdGm
 YlDl6pmKcYujpmRb1bFZUtzYcqdkS8dGOwBLZ2GSmZFA5QD0JwuR6TW2L2Y+rKd6tdr7e79cA8giy
 OROw39Zg0htQuwQ8/YNqC5K40D/F6Vf6gFVhUNiz9lXSuPLhtr3db5apRxXNffb0ME5rV26jMq1QK
 QrS1dbkGk0ZJL70Loz2ra+wp3TL4gztW0IdJb0i65/bvdzCy87Ud8ky2najPiTchNwpog6TvdG+Tg
 ViPkFjAEs5H7H+rqycvGeMhL54BJOOf6Jp14TrpULY14MeqVPV9adBzovb4y/w46HJktxxq70qeA8
 DE/2W+0Q==;
Received: from [192.168.2.1] (port=48384 helo=steel)
 by systemreboot.net with esmtpsa (TLS1.3) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96)
 (envelope-from <arunisaac@HIDDEN>) id 1oxaLO-0001BO-0c;
 Wed, 23 Nov 2022 02:28:14 +0530
From: Arun Isaac <arunisaac@HIDDEN>
In-Reply-To: <20221112091515.GB30032@HIDDEN>
References: <20221112150907.29793-1-jgart@HIDDEN>
 <handler.59217.B.166826577117982.ack <at> debbugs.gnu.org>
 <20221112091515.GB30032@HIDDEN>
Date: Tue, 22 Nov 2022 20:58:10 +0000
Message-ID: <87wn7mk8pp.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)


Hi jgart,

> Not sure if you remember that conversation we had about the linter
> warning regarding emacs and having to use two spaces in description
> field sentences.

Yes, I remember the conversation.

> Would you mind recapping the issue so that I can improve this message
> further.

My original point was that the linter should not simply complain about
the absence of double spaces but also explain why double spaces are
required. Double spaces are required because Emacs sentence commands
such as M-a and M-e only work when sentences are separated by double
spaces. To be honest, I would consider this an Emacs bug. But, it's
probably impossible to achieve consensus on such a bold claim. ;-)

So, at the very least, the Guix linter should explain why double spaces
are required. As a general rule for all linter messages, contributors
will be happier when the linter explains the rationale for various
messages. Most people don't like doing things without understanding why
they have to do them.

Regards,
Arun




Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#59217] Acknowledgement ([PATCH] guix: lint: Improve message in linter warning.)
Resent-From: zimoun <zimon.toutoune@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Wed, 23 Nov 2022 10:28:01 +0000
Resent-Message-ID: <handler.59217.B59217.166919923825611 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 59217
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: Arun Isaac <arunisaac@HIDDEN>, jgart <jgart@HIDDEN>, 59217 <at> debbugs.gnu.org
Received: via spool by 59217-submit <at> debbugs.gnu.org id=B59217.166919923825611
          (code B ref 59217); Wed, 23 Nov 2022 10:28:01 +0000
Received: (at 59217) by debbugs.gnu.org; 23 Nov 2022 10:27:18 +0000
Received: from localhost ([127.0.0.1]:53782 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1oxmyM-0006f1-66
	for submit <at> debbugs.gnu.org; Wed, 23 Nov 2022 05:27:18 -0500
Received: from mail-wm1-f52.google.com ([209.85.128.52]:39835)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <zimon.toutoune@HIDDEN>) id 1oxmyH-0006eX-JA
 for 59217 <at> debbugs.gnu.org; Wed, 23 Nov 2022 05:27:14 -0500
Received: by mail-wm1-f52.google.com with SMTP id
 83-20020a1c0256000000b003d03017c6efso401346wmc.4
 for <59217 <at> debbugs.gnu.org>; Wed, 23 Nov 2022 02:27:13 -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:to:from:from:to:cc:subject:date:message-id
 :reply-to; bh=jiAQVLDz8/ZOPu/Lux2XC0XlL/zpiiSazi9/iig5MMY=;
 b=I+aZxUH6TkjnsX8eQo/bgY8k9xec6JJb3U0QixMNXuC5HBgFd/AigvhIFbQcHogBND
 M8s+ScPIJC6OrjXcrX5GYBZfqfUMEFLuuPTKQd3V2Mq2aSc2u+e8K8L+FOuvuj7/Heq1
 TIL4T6Acpa+ePn7LfBsde52yj00DCsxr+sjh+sC8s1HQwHuheZlES8cRPBvMQoAQ3TPB
 D6yWyAfyzrQdXPQVR+29FvXjpABD7nt1v+xk0C3i6v/FSTDtbN45vNccoVERAJz9nCC4
 TduC4Fh8RWVGNe01rjl5yk+ZZI08y93SKUNo4n1N9pDNBLOXjdvvTyKwBgWC4EjZZGhZ
 TcpQ==
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:to:from:x-gm-message-state:from:to:cc:subject
 :date:message-id:reply-to;
 bh=jiAQVLDz8/ZOPu/Lux2XC0XlL/zpiiSazi9/iig5MMY=;
 b=P6/pU058eT04P/1KE/GzeFPqpDNmHeGRdwmh6TZ9GlE76uWhUvKmBLkmukL3qeE8Ab
 gs6gvcOdFsKl221Kg22+GFjffS9o0MmQFYguVSYVsQd+fvDZMcl0McHaCHY8fpVXL2Hx
 CMIPkRUWCW0EEwb/2y09rAZqs5W/i5T297MHLkWyjgvZunLYkiQKfTU0OV5FQqDZA6K0
 9Y3+YQ9/NmcfWXmnfFV4bdzMXMxVde91+PqaD1bGBtYDuxpcRBjbuXat8isDSbDdcdGr
 O7iHAp875uvYJP1B3j8lop9c1DVIMaVmM74s1mh8M3xxCXmRaGmiGRZf7lFFlhkFp4nC
 fPYg==
X-Gm-Message-State: ANoB5pnCgiiazE4oSNIVRKhIhYuR5NlgTO+7gbOLOg2Hq/sbJ9kb6+PN
 JrSbwDjaUV+WJwp7L/GeqrXJBtEC3pk=
X-Google-Smtp-Source: AA0mqf5HnoKd0ZeBeiAGT1lpaQiElT2nXdGW80k+5QG+OZiqshjh7dfByLNu/NsDyT6jEVyJ4IDT/w==
X-Received: by 2002:a05:600c:18a1:b0:3cf:a9d5:36c7 with SMTP id
 x33-20020a05600c18a100b003cfa9d536c7mr5757875wmp.13.1669199227754; 
 Wed, 23 Nov 2022 02:27:07 -0800 (PST)
Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e])
 by smtp.gmail.com with ESMTPSA id
 y7-20020a1c4b07000000b003b4c979e6bcsm1745469wma.10.2022.11.23.02.27.07
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Wed, 23 Nov 2022 02:27:07 -0800 (PST)
From: zimoun <zimon.toutoune@HIDDEN>
In-Reply-To: <87wn7mk8pp.fsf@HIDDEN>
References: <20221112150907.29793-1-jgart@HIDDEN>
 <handler.59217.B.166826577117982.ack <at> debbugs.gnu.org>
 <20221112091515.GB30032@HIDDEN> <87wn7mk8pp.fsf@HIDDEN>
Date: Wed, 23 Nov 2022 11:13:34 +0100
Message-ID: <86mt8iashd.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Hi Arun,

On Tue, 22 Nov 2022 at 20:58, Arun Isaac <arunisaac@HIDDEN> wrote:

> My original point was that the linter should not simply complain about
> the absence of double spaces but also explain why double spaces are
> required. Double spaces are required because Emacs sentence commands
> such as M-a and M-e only work when sentences are separated by double
> spaces. To be honest, I would consider this an Emacs bug. But, it's
> probably impossible to achieve consensus on such a bold claim. ;-)

Indeed, it is impossible to achieve consensus since it is probably not
an Emacs bug but an historical inheritance of typographical convention,
see [1,2].

1: <https://en.wikipedia.org/wiki/Sentence_spacing>
2: <https://en.wikipedia.org/wiki/History_of_sentence_spacing>


> So, at the very least, the Guix linter should explain why double spaces
> are required. As a general rule for all linter messages, contributors
> will be happier when the linter explains the rationale for various
> messages. Most people don't like doing things without understanding why
> they have to do them.

Well, maybe a paragraph in the manual under =E2=80=99(guix) Synopses and
Descriptions=E2=80=99 is a better location for such explanations than the l=
inter
message itself.  WDYT?


Cheers,
simon




Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#59217] Acknowledgement ([PATCH] guix: lint: Improve message in linter warning.)
Resent-From: Arun Isaac <arunisaac@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Wed, 23 Nov 2022 12:54:02 +0000
Resent-Message-ID: <handler.59217.B59217.166920798217258 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 59217
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: zimoun <zimon.toutoune@HIDDEN>, jgart <jgart@HIDDEN>, 59217 <at> debbugs.gnu.org
Received: via spool by 59217-submit <at> debbugs.gnu.org id=B59217.166920798217258
          (code B ref 59217); Wed, 23 Nov 2022 12:54:02 +0000
Received: (at 59217) by debbugs.gnu.org; 23 Nov 2022 12:53:02 +0000
Received: from localhost ([127.0.0.1]:54102 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1oxpFO-0004UI-JS
	for submit <at> debbugs.gnu.org; Wed, 23 Nov 2022 07:53:02 -0500
Received: from mugam.systemreboot.net ([139.59.75.54]:57090)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <arunisaac@HIDDEN>) id 1oxpFL-0004Tq-GB
 for 59217 <at> debbugs.gnu.org; Wed, 23 Nov 2022 07:53:01 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
 d=systemreboot.net; s=default; h=Content-Transfer-Encoding:Content-Type:
 MIME-Version:Message-ID:Date:References:In-Reply-To:Subject:To:From:Sender:
 Reply-To:Cc:Content-ID:Content-Description:Resent-Date:Resent-From:
 Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:
 List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=3b8G2EP/2QzcAI+F49n/CAoFon7hueMUCHJHEP0ZO+Q=; b=hJl/cUGIS5X2vpAzPyUSNYVLix
 RCW8QpgR8lKVm1GvOWtHxyS/5jDqJ8kN55m8QHrq558Fj0hssLL5mmy1zpHHxG3Ak7ai0FE1EJ3ow
 v0uCOYevGL5/KYYzi+E3tDrDOUPZTeXwRSwUHThhrcJwZMe8S2RR5p0Q7YE0/4FdCOKHpP474iN5C
 7/n6bDsqVTBpRwB3fF6OF378fj+WuvEgbrJ6ewohk2VFXVOk0c3VC89e8FBfT00P+wBCfuIqLpweO
 X45hzWecU6jMe3NoQj7cYqTHD0zJN7CGbk5czvnktGHX3DhB0n1tkNdEmGfD0ROmQ6HnyTmf+ycX+
 LloubFeQ==;
Received: from [192.168.2.1] (port=49174 helo=steel)
 by systemreboot.net with esmtpsa (TLS1.3) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96)
 (envelope-from <arunisaac@HIDDEN>) id 1oxpFG-00037Z-2w;
 Wed, 23 Nov 2022 18:22:55 +0530
From: Arun Isaac <arunisaac@HIDDEN>
In-Reply-To: <86mt8iashd.fsf@HIDDEN>
References: <20221112150907.29793-1-jgart@HIDDEN>
 <handler.59217.B.166826577117982.ack <at> debbugs.gnu.org>
 <20221112091515.GB30032@HIDDEN> <87wn7mk8pp.fsf@HIDDEN>
 <86mt8iashd.fsf@HIDDEN>
Date: Wed, 23 Nov 2022 12:52:51 +0000
Message-ID: <87bkoxbzoc.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)


> Well, maybe a paragraph in the manual under =E2=80=99(guix) Synopses and
> Descriptions=E2=80=99 is a better location for such explanations than the=
 linter
> message itself.  WDYT?

That sounds good. Detailed explanations do belong in the manual. But,
the linter CLI output should link to the relevant section of the web
manual. That would be better than sending people hunting in the
manual. Many good linters for other programming languages do do this.

Cheers!




Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#59217] [PATCH] guix: lint: Improve message in linter warning.
Resent-From: Maxim Cournoyer <maxim.cournoyer@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Tue, 21 Mar 2023 19:51:02 +0000
Resent-Message-ID: <handler.59217.B59217.167942824213970 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 59217
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: Arun Isaac <arunisaac@HIDDEN>
Cc: 59217 <at> debbugs.gnu.org, jgart <jgart@HIDDEN>, zimoun <zimon.toutoune@HIDDEN>
Received: via spool by 59217-submit <at> debbugs.gnu.org id=B59217.167942824213970
          (code B ref 59217); Tue, 21 Mar 2023 19:51:02 +0000
Received: (at 59217) by debbugs.gnu.org; 21 Mar 2023 19:50:42 +0000
Received: from localhost ([127.0.0.1]:60770 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1pei0I-0003dF-0U
	for submit <at> debbugs.gnu.org; Tue, 21 Mar 2023 15:50:42 -0400
Received: from mail-qt1-f181.google.com ([209.85.160.181]:46056)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <maxim.cournoyer@HIDDEN>) id 1pei0F-0003d1-PB
 for 59217 <at> debbugs.gnu.org; Tue, 21 Mar 2023 15:50:40 -0400
Received: by mail-qt1-f181.google.com with SMTP id t19so5280905qta.12
 for <59217 <at> debbugs.gnu.org>; Tue, 21 Mar 2023 12:50:39 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20210112; t=1679428234;
 h=content-transfer-encoding:mime-version:message-id:date:user-agent
 :references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date
 :message-id:reply-to;
 bh=xzF4bEi+1GCkup6TRDsh23EBubR76/2PiJ8j13g/MMo=;
 b=SV0d/mhEfwuJLOuMmJVh/SurXWILWoN7peYTukPzwr3D/G8LP1gg7sS7v32grCwkoX
 IBOuX4BO75bIf27XNk3p/ziNk+WUHI8Me3+q/40xgbdsKRgRO0lqlxfBWAJvBfdrSi4H
 7ZtIBtiiH7GdMPtFWhsi45Xok71aFhQEchr6XvG/qrUsgs4ld4YFHJkhoz6i6D4iCuy3
 YzN0SxEMsrrZ7JmGOC53dImFS4/mNvr1Vxn9hjiPZ1eijI2gutijMR9LYft5acDlkEdl
 vyoXv8YaJNk206xai7MmEeFVvtVN6JsV/9EY9Ggfji0PW8KyDdjm5H7fGR8wCNq9JrXS
 +CKQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112; t=1679428234;
 h=content-transfer-encoding:mime-version:message-id:date:user-agent
 :references:in-reply-to:subject:cc:to:from:x-gm-message-state:from
 :to:cc:subject:date:message-id:reply-to;
 bh=xzF4bEi+1GCkup6TRDsh23EBubR76/2PiJ8j13g/MMo=;
 b=jOLU/jrlV9RfNfp6aubYR3lldp2Eve3ur1J/XeBOmlEBDyQn0ZrPTJDgiv7K8qoTIG
 25JLVSZTiEp+g2LHYtT4BGGu1jNtSA3S5Bla4nuA1R/ZQda9bAAF6YTkUOuIqNNJ79v6
 3okBf5AZcPGm5WuFeDxFZFfs70ve2owsc+9xGvmCa4hTpW4kb1uhHwUJsLPVjheqemTS
 tfZawQg7GQgm6LcPmF4MYxBDzM24dpf5uftZv3iosw9/ZvZ9K+TuZuKG0cJTipRVIAuI
 OjkSTyNKOrExdLML9ghftrG2W6xTcRqXXkQb24ElmekgNBXg5UngVs62i/cEisDdFv+V
 3Afw==
X-Gm-Message-State: AO0yUKV05K60vClXwnAdEGM/s4imYM5QkYaF+xk61zZ8C2RaStt+OOG1
 IEVdyfBJOEdhnEJx4tV/9DF4tFDTPX4VDg==
X-Google-Smtp-Source: AK7set9jr3eH45v4yA2X3p7yA5syaTrfw2c092leq8nZATUp4NC9TkUVKndKn+QAWfrEXANa/RQb3A==
X-Received: by 2002:ac8:57cc:0:b0:3b8:6b25:88bf with SMTP id
 w12-20020ac857cc000000b003b86b2588bfmr1776061qta.51.1679428234009; 
 Tue, 21 Mar 2023 12:50:34 -0700 (PDT)
Received: from hurd (dsl-10-130-195.b2b2c.ca. [72.10.130.195])
 by smtp.gmail.com with ESMTPSA id
 s14-20020a37450e000000b007417e60f621sm9925413qka.126.2023.03.21.12.50.33
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Tue, 21 Mar 2023 12:50:33 -0700 (PDT)
From: Maxim Cournoyer <maxim.cournoyer@HIDDEN>
In-Reply-To: <87bkoxbzoc.fsf@HIDDEN> (Arun Isaac's message of "Wed, 
 23 Nov 2022 12:52:51 +0000")
References: <20221112150907.29793-1-jgart@HIDDEN>
 <handler.59217.B.166826577117982.ack <at> debbugs.gnu.org>
 <20221112091515.GB30032@HIDDEN> <87wn7mk8pp.fsf@HIDDEN>
 <86mt8iashd.fsf@HIDDEN> <87bkoxbzoc.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
Date: Tue, 21 Mar 2023 15:50:32 -0400
Message-ID: <87edphnat3.fsf_-_@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Hi,

Arun Isaac <arunisaac@HIDDEN> writes:

>> Well, maybe a paragraph in the manual under =E2=80=99(guix) Synopses and
>> Descriptions=E2=80=99 is a better location for such explanations than th=
e linter
>> message itself.  WDYT?
>
> That sounds good. Detailed explanations do belong in the manual. But,
> the linter CLI output should link to the relevant section of the web
> manual. That would be better than sending people hunting in the
> manual. Many good linters for other programming languages do do this.

Instead of a bug in Emacs, I'd say it's rather a convention, rooted in
the fact that without the two-spaces trick, how would you reliably
locate the end of a sentence?  A period followed by a capital letter
might happen in the middle of a sentence, which makes it ambiguous.
Note that two-spaces also exists as a typographical convention, called
"double sentence spacing".  Here's some interesting quote from the
Wikipedia page [0]:

   The text-editing environment in Emacs uses a double space following a
   period to identify the end of sentences unambiguously; the
   double-space convention prevents confusion with periods within
   sentences that signify abbreviations. How Emacs recognizes the end of
   a sentence is controlled by the settings sentence-end-double-space
   and sentence-end.[71]

   The Unix typesetter program Troff uses two spaces to mark the end of
   a sentence.[72] This allows the typesetter to distinguish sentence
   endings from abbreviations and to typeset them differently. Early
   versions of Troff,[72] which only typeset in fixed-width fonts, would
   automatically add a second space between sentences, which were
   detected based on the combination of terminal punctuation and a line
   feed.

Personally, I'd prefer not having explanations directly in the output of
Guix lint; it should be terse, as it's involved often and repeatedly.

[0]  https://en.wikipedia.org/wiki/Sentence_spacing

--=20
Thanks,
Maxim





Last modified: Tue, 21 Mar 2023 20:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.