GNU bug report logs - #77173
[PATCH] Instruct users to use customize or setopt for user options that have :set-er

Previous Next

Full log

View this message in rfc822 format

From: Visuwesh <visuweshm <at> gmail.com>
To: Rudolf Adamkovič <rudolf <at> adamkovic.org>
Cc: Eli Zaretskii <eliz <at> gnu.org>, 77173 <at> debbugs.gnu.org
Subject: bug#77173: [PATCH] Instruct users to use customize or setopt for user options that have :set-er
Date: Wed, 26 Mar 2025 09:23:34 +0530

[Message part 1 (text/plain, inline)]

[Tuesday March 25, 2025] Rudolf Adamkovič wrote:

> Visuwesh <visuweshm <at> gmail.com> writes:
>
>> +  ... will not usually take effect; ...
>
> Perhaps "may not take effect"?

Thanks, that's better.  Updated patch attached.

[0001-Improve-formatting-of-setopt-suggestion-in-Help-buff.patch (text/x-diff, attachment)]

Previous Next

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