GNU bug report logs - #40725
27.0.91; Tutorial reports false positive key rebindings

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Mattias Engdegård <mattiase <at> acm.org>
Cc: contovob <at> tcd.ie, 40725 <at> debbugs.gnu.org, juri <at> linkov.net
Subject: bug#40725: 27.0.91; Tutorial reports false positive key rebindings
Date: Fri, 24 Apr 2020 15:13:50 +0300

> From: Mattias Engdegård <mattiase <at> acm.org>
> Date: Fri, 24 Apr 2020 13:35:52 +0200
> Cc: juri <at> linkov.net, contovob <at> tcd.ie, 40725 <at> debbugs.gnu.org
> 
> 24 apr. 2020 kl. 13.21 skrev Eli Zaretskii <eliz <at> gnu.org>:
> 
> > Like I said: I would prefer not to rename files at all, if we can
> > solve the mode issue in some other way.
> 
> I agree, let's not rename files without a good reason. Here we have multiple good reasons.

I didn't say "a good reason", I said "if we can solve the issue in
some other way".

> The file names cause more inconvenience than just the mode problem.

What problems are those?  You mentioned grepping the files, which can
be easily handled by excluding the tutorials directory from the
search.  Are there any other problems we should consider?

> Git handles renames gracefully.

"Gracefully" is in the eyes of the beholder.  It's true the support
for renames improved in the recent years, but there are still commands
that either fails or need special invocation methods to work across
renames.  So it's still a source of inconvenience and occasional
failure or mistaken conclusions, and I'd like to avoid that if
possible.

Previous Next

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