GNU bug report logs - #70783
[PATCH] Allow compilation messages to be suppressed

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Paul Nelson <ultrono <at> gmail.com>
Subject: bug#70783: closed (Re: bug#70783: [PATCH] Allow compilation
 messages to be suppressed)
Date: Tue, 07 May 2024 07:40:02 +0000

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

Your bug report

#70783: [PATCH] Allow compilation messages to be suppressed

which was filed against the auctex package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 70783 <at> debbugs.gnu.org.

-- 
70783: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70783
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Arash Esbati <arash <at> gnu.org>
To: Paul Nelson <ultrono <at> gmail.com>
Cc: 70783-done <at> debbugs.gnu.org
Subject: Re: bug#70783: [PATCH] Allow compilation messages to be suppressed
Date: Tue, 07 May 2024 09:38:38 +0200

Paul Nelson <ultrono <at> gmail.com> writes:

> Such messages still appear in the *Messages* buffer.  I think it'd be
> better to suppress them altogether.  This patch (and a couple other
> hacks in my own code) would allow me to do so.

Thanks, I installed it with commit cba5820c, closing.

Best, Arash

[Message part 3 (message/rfc822, inline)]

From: Paul Nelson <ultrono <at> gmail.com>
To: bug-auctex <at> gnu.org
Subject: [PATCH] Allow compilation messages to be suppressed
Date: Sun, 5 May 2024 14:24:02 +0200

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

This patch introduces a dynamic variable that allows suppression of the
messages "Type (...) to display results of compilation."

Thanks, best,

Paul

[Message part 5 (text/html, inline)]

[0001-Allow-compilation-messages-to-be-suppressed.patch (application/octet-stream, attachment)]

Previous Next

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