unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: rms@gnu.org
Cc: stefan@marxist.se, juri@linkov.net, rudalics@gmx.at,
	monnier@iro.umontreal.ca, dgutov@yandex.ru, larsi@gnus.org,
	emacs-devel@gnu.org
Subject: Re: master ff4de1b: Fix quoting style in Lisp comments
Date: Fri, 17 Sep 2021 09:34:20 +0300	[thread overview]
Message-ID: <83pmt790cz.fsf@gnu.org> (raw)
In-Reply-To: <E1mR1Yj-0002iw-KN@fencepost.gnu.org> (message from Richard Stallman on Thu, 16 Sep 2021 20:16:53 -0400)

> From: Richard Stallman <rms@gnu.org>
> Cc: dgutov@yandex.ru, eliz@gnu.org, stefan@marxist.se,
> 	juri@linkov.net, rudalics@gmx.at, larsi@gnus.org,
> 	emacs-devel@gnu.org
> Date: Thu, 16 Sep 2021 20:16:53 -0400
> 
>   > - We declare `...' as the official style.  This matches the historical
>   >   use, so it requires no changes, AFAIK (other than reverting Eli's
>   >   commit, obviously).
> 
> That IS the official style, in Emacs Lisp files, and we should not
> change that.  We should use `...' in comments.

We've decided to change that style.  It makes no sense for a project
to back out its decisions so quickly, when the only reason is that
some people don't like the decision.  They didn't like it when the
decision was made, either (heck, I didn't like it too much as well),
so there's nothing new here that requires to go back.  We are past
that decision point, and many texts were meanwhile written using this
style.

> Text files (whether Text mode or some other mode) are a different
> issue.

No, they aren't.  When I write plain text, I don't want to remember
what file I'm writing it in, and neither should anyone else.

Again, we've had this discussion.  It was a long and painful one, and
we emerged from it with a decision.  If we want to be a functional
project, we should follow our own decisions, even if they are
sometimes unusual or require re-learning some simple stuff.  We have
many examples of such decisions, this is just one of them.  If people
are going to revolt because they disagree with decisions like that,
where will that take us?  E.g., I dislike the decision to remove
facemenu and its useful (for me) key bindings: should I now start a
lobbying thread explaining time and again why that should be reverted?
There's no end to this, and it is not a reasonable way to manage the
project development.

> Still, I think we should make highlighting give correct results for
> files that use `...' as well as for files that use '...'.

That is already so, primarily because we are not going to convert the
quoting style en masse any time soon.  The issue at hand is what to
use for NEW comments and comments that we modify anyway.



  parent reply	other threads:[~2021-09-17  6:34 UTC|newest]

Thread overview: 159+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <20210912165141.9491.52637@vcs0.savannah.gnu.org>
     [not found] ` <20210912165143.5BC1E20A5E@vcs0.savannah.gnu.org>
2021-09-12 22:42   ` master ff4de1b: Fix quoting style in Lisp comments Dmitry Gutov
2021-09-13  8:06     ` Lars Ingebrigtsen
2021-09-13 12:01       ` Eli Zaretskii
2021-09-14  2:14         ` Phil Sainty
2021-09-13 11:34     ` Eli Zaretskii
2021-09-13 11:41       ` Lars Ingebrigtsen
2021-09-13 12:23         ` Eli Zaretskii
2021-09-13 12:36         ` martin rudalics
2021-09-13 16:53           ` Stefan Monnier
2021-09-13 18:25             ` Stefan Monnier
2021-09-15  9:27               ` martin rudalics
2021-09-15 12:42                 ` Stefan Monnier
2021-09-15 18:46                   ` martin rudalics
2021-09-15 16:02                 ` Juri Linkov
2021-09-15 16:30                   ` Eli Zaretskii
2021-09-15 18:07                     ` Dmitry Gutov
2021-09-15 18:16                       ` Eli Zaretskii
2021-09-15 18:20                         ` Dmitry Gutov
2021-09-15 21:12                           ` [External] : " Drew Adams
2021-09-15 18:40                         ` Stefan Kangas
2021-09-15 18:52                           ` Eli Zaretskii
2021-09-15 20:01                             ` Dmitry Gutov
2021-09-15 20:15                               ` Stefan Monnier
2021-09-15 21:24                                 ` [External] : " Drew Adams
2021-09-16  5:08                                 ` Eli Zaretskii
2021-09-16 10:39                                   ` Dmitry Gutov
2021-09-16 12:32                                     ` Lars Ingebrigtsen
2021-09-16 12:53                                       ` Eli Zaretskii
2021-09-16 13:37                                         ` Dmitry Gutov
2021-09-16 23:20                                           ` Phil Sainty
2021-09-18  0:15                                             ` Dmitry Gutov
2021-09-16 16:19                                         ` [External] : " Drew Adams
2021-09-17 14:12                                         ` Lars Ingebrigtsen
2021-09-17 15:58                                           ` Eli Zaretskii
2021-09-17 19:21                                             ` Stefan Kangas
2021-09-18  5:42                                               ` Eli Zaretskii
2021-09-18  8:17                                                 ` Stefan Kangas
2021-09-18  8:26                                                   ` Eli Zaretskii
2021-09-18 13:30                                             ` Lars Ingebrigtsen
2021-09-18 13:34                                               ` Eli Zaretskii
2021-09-18 16:03                                                 ` [External] : " Drew Adams
2021-09-18 16:13                                                   ` Eli Zaretskii
2021-09-18 16:52                                                     ` Drew Adams
2021-09-18 16:54                                                       ` Lars Ingebrigtsen
2021-09-18 17:07                                                         ` Drew Adams
2021-09-16 13:31                                       ` Eli Zaretskii
2021-09-16 16:20                                         ` [External] : " Drew Adams
2021-09-16 14:15                                       ` Eli Zaretskii
2021-09-16 14:18                                         ` Dmitry Gutov
2021-09-16 15:22                                           ` Eli Zaretskii
2021-09-16 16:20                                         ` [External] : " Drew Adams
2021-09-17  9:17                                       ` Gregory Heytings
2021-09-17 10:26                                         ` Stefan Kangas
2021-09-17 10:39                                           ` Eli Zaretskii
2021-09-17 22:46                                             ` Stefan Kangas
2021-09-18  6:19                                               ` Eli Zaretskii
2021-09-18  7:32                                                 ` Andreas Schwab
2021-09-18  8:20                                                   ` Eli Zaretskii
2021-09-18  8:37                                                     ` Adam Sjøgren
2021-09-18  8:44                                                     ` Gregory Heytings
2021-09-18  8:48                                                     ` Yuri Khan
2021-09-18 11:50                                                       ` Phil Sainty
2021-09-18 11:54                                                         ` Yuri Khan
2021-09-18 16:03                                                           ` [External] : " Drew Adams
2021-09-18 16:02                                                         ` Drew Adams
2021-09-18 16:02                                                       ` Drew Adams
2021-09-18 16:01                                                     ` Drew Adams
2021-09-18 16:01                                                   ` Drew Adams
2021-09-18  8:17                                                 ` Stefan Kangas
2021-09-18  8:25                                                   ` Eli Zaretskii
2021-09-18  9:18                                                     ` Stefan Kangas
2021-09-18 11:00                                                       ` Eli Zaretskii
2021-09-18 16:02                                                     ` [External] : " Drew Adams
2021-09-18  9:28                                                   ` Yuri Khan
2021-09-18 10:05                                                     ` Stefan Kangas
2021-09-18 10:27                                                       ` Yuri Khan
2021-09-18 10:51                                                         ` Stefan Kangas
2021-09-18 18:40                                                           ` Juri Linkov
2021-09-18 18:56                                                             ` Eli Zaretskii
2021-09-18 19:34                                                               ` Stefan Kangas
2021-09-18 23:22                                                                 ` [External] : " Drew Adams
2021-09-19  5:44                                                                   ` Eli Zaretskii
2021-09-19 10:00                                                                     ` Stefan Kangas
2021-09-19 17:30                                                                     ` Drew Adams
2021-09-19 17:42                                                                       ` Eli Zaretskii
2021-09-19 17:54                                                                         ` Drew Adams
2021-09-21 14:38                                                                           ` Jean Louis
2021-09-21 17:04                                                                             ` tomas
2021-09-21 17:09                                                                               ` tomas
2021-09-24 20:42                                                                               ` Richard Stallman
2021-09-19  5:30                                                                 ` Eli Zaretskii
2021-09-17 10:55                                           ` Gregory Heytings
2021-09-17 11:16                                             ` Eli Zaretskii
2021-09-17 11:30                                               ` Gregory Heytings
2021-09-17 12:11                                                 ` Eli Zaretskii
2021-09-17 12:30                                                   ` Gregory Heytings
2021-09-17 16:21                                                     ` Yuri Khan
2021-09-17 16:40                                                       ` João Távora
2021-09-17 16:44                                                       ` Alan Mackenzie
2021-09-17 17:47                                                       ` Eli Zaretskii
2021-09-17 18:42                                                         ` Yuri Khan
2021-09-17 18:51                                                           ` Eli Zaretskii
2021-09-17 19:14                                                       ` Gregory Heytings
2021-09-17 19:22                                                         ` Stefan Monnier
2021-09-17 20:32                                                           ` Manuel Giraud
2021-09-17 22:16                                                             ` [External] : " Drew Adams
2021-09-18 13:45                                                             ` Stefan Monnier
2021-09-18 16:03                                                               ` [External] : " Drew Adams
2021-09-18 17:25                                                                 ` Stefan Monnier
2021-09-18 17:46                                                                   ` Stefan Kangas
2021-09-18 23:11                                                                     ` Stefan Monnier
2021-09-18 23:22                                                                   ` Drew Adams
2021-09-19 12:26                                                                     ` Stefan Monnier
2021-09-18  5:43                                                           ` Eli Zaretskii
2021-09-18  8:33                                                             ` Stefan Kangas
2021-09-18  8:53                                                               ` Gregory Heytings
2021-09-17 18:09                                                   ` [External] : " Drew Adams
2021-09-17 18:09                                           ` Drew Adams
2021-09-16 16:18                                   ` Drew Adams
2021-09-16 10:50                                 ` Dmitry Gutov
2021-09-16 11:39                                   ` Eli Zaretskii
2021-09-16 14:12                                     ` Dmitry Gutov
2021-09-16 16:20                                       ` [External] : " Drew Adams
2021-09-16 16:18                                     ` Drew Adams
2021-09-16 11:25                                 ` Stefan Kangas
2021-09-17  0:16                                 ` Richard Stallman
2021-09-17  0:27                                   ` Alexandre Garreau
2021-09-17  6:34                                   ` Eli Zaretskii [this message]
2021-09-17 10:44                                     ` Dmitry Gutov
2021-09-17 11:11                                       ` Eli Zaretskii
2021-09-17 11:25                                         ` Dmitry Gutov
2021-09-17 12:09                                           ` Eli Zaretskii
2021-09-17 12:38                                             ` Phil Sainty
2021-09-17 12:59                                               ` Tassilo Horn
2021-09-17 15:45                                               ` Eli Zaretskii
2021-09-17 13:07                                             ` Dmitry Gutov
2021-09-17 13:44                                               ` João Távora
2021-09-17 15:49                                               ` Eli Zaretskii
2021-09-17 16:33                                                 ` Dmitry Gutov
2021-09-17 18:10                                               ` [External] : " Drew Adams
2021-09-17 13:18                                           ` Amin Bandali
2021-09-17 18:09                                       ` [External] : " Drew Adams
2021-09-16  4:53                               ` Eli Zaretskii
2021-09-16  8:51                                 ` Dmitry Gutov
2021-09-16  9:11                                   ` Eli Zaretskii
2021-09-16 10:34                                     ` Dmitry Gutov
2021-09-16 11:35                                       ` Eli Zaretskii
2021-09-16 13:38                                         ` Dmitry Gutov
2021-09-15 18:48                     ` martin rudalics
2021-09-15 19:05                       ` Eli Zaretskii
2021-09-16  6:56                         ` martin rudalics
2021-09-16  7:11                           ` Eli Zaretskii
2021-09-16 16:18                             ` [External] : " Drew Adams
2021-09-13 11:51       ` Dmitry Gutov
2021-09-13 12:05         ` Lars Ingebrigtsen
2021-09-13 12:28           ` Eli Zaretskii
2021-09-13 12:29             ` Lars Ingebrigtsen
2021-09-13 12:26         ` Eli Zaretskii
2021-09-13 12:56           ` Dmitry Gutov

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=83pmt790cz.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=dgutov@yandex.ru \
    --cc=emacs-devel@gnu.org \
    --cc=juri@linkov.net \
    --cc=larsi@gnus.org \
    --cc=monnier@iro.umontreal.ca \
    --cc=rms@gnu.org \
    --cc=rudalics@gmx.at \
    --cc=stefan@marxist.se \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).