GNU bug report logs - #25209
25.1; can't delete *Shell Command Output*

Previous Next

Package: emacs;

Reported by: Francesco Potortì <pot <at> gnu.org>

Date: Thu, 15 Dec 2016 16:35:01 UTC

Severity: minor

Found in version 25.1

Done: Andreas Schwab <schwab <at> linux-m68k.org>

Bug is archived. No further changes may be made.

Full log


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

From: Andreas Schwab <schwab <at> linux-m68k.org>
To: Francesco Potortì <pot <at> gnu.org>
Cc: 25209 <at> debbugs.gnu.org
Subject: Re: bug#25209: 25.1; can't delete *Shell Command Output*
Date: Mon, 19 Dec 2016 15:26:37 +0100
On Dez 19 2016, Andreas Schwab <schwab <at> linux-m68k.org> wrote:

> On Dez 15 2016, Francesco Potortì <pot <at> gnu.org> wrote:
>
>> On a long-running multi-tty Emacs, at one point the *Shell Command
>> Output* buffer refuses to go away.
>>
>> If I try to kill it, nothing happens, whether the current buffer is that
>> one or any other one.  The contents of the *Shell Command Output* buffer
>> are always visible in the minibuffer.  So, to make it unobtrusive, I
>> need to issue an
>>  M-! echo -n RET
>> every time the *Shell Command Output* buffer is dirtied.
>
> Did you perhaps quit while the output of a shell-command was being
> displayed, because it took too long?  In that situation Emacs can end up
> in a state where (minibuffer-window) points to the *Shell Command
> Output* buffer, and kill-buffer will refuse to kill the buffer.

I think the problem is that vertical-motion (as called by
display-message-or-buffer via count-screen-lines) is not properly
protecting against quit when it temporarily modifies the window's
buffer.

Andreas.

-- 
Andreas Schwab, schwab <at> linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."




This bug report was last modified 8 years and 206 days ago.

Previous Next


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