GNU bug report logs - #65267
30.0.50; modifying debug-ignored-errors during startup with --debug-init is broken

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: stepnem <at> smrk.net, Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: 65267 <at> debbugs.gnu.org, npostavs <at> users.sourceforge.net
Subject: bug#65267: 30.0.50; modifying debug-ignored-errors during startup with --debug-init is broken
Date: Thu, 17 Aug 2023 16:28:31 +0300

> From: Stefan Monnier <monnier <at> iro.umontreal.ca>
> Cc: stepnem <at> smrk.net,  65267 <at> debbugs.gnu.org,  npostavs <at> users.sourceforge.net
> Date: Thu, 17 Aug 2023 08:55:38 -0400
> 
> > What about the minor changes below?  They do seem to yield the
> > expected results in the original recipe.  The idea is to detect the
> > situation where the init file _added_ to the value of
> > debug-ignored-errors, and re-add the additions after loading the init
> > file.
> 
> No objection from me (it's not great, but I don't think there's a great
> solution).

Thanks.

Štěpán, would you mind testing the patch?  If it works for you, I will
install it.

Previous Next

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