GNU bug report logs - #41473
Not saving all user options

Previous Next

Full log

Message #10 received at control <at> debbugs.gnu.org (full text, mbox):

From: Noam Postavsky <npostavs <at> gmail.com>
To: "Philip K." <philip <at> warpmail.net>
Cc: 41473 <at> debbugs.gnu.org
Subject: Re: bug#41473: Not saving all user options
Date: Fri, 29 May 2020 10:06:04 -0400

severity 41473 wishlist
quit

"Philip K." <philip <at> warpmail.net> writes:

> the patch bellow, by checking of the comment starts with four or more
> spaces, but it could just as well be any other predicate such as a
> string starting with a zero-width whitespace, the string "NONSAVE" or a
> property in the symbol plist.

> Is there any argument against something like this in principle, or is
> there already such a mechanism I overlooked?

I don't see any.  Regarding your suggestions in particular, I think the
plist method would be the cleanest.  Four spaces strikes me as overly
cryptic.

Previous Next

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