GNU bug report logs - #55426
[PATCH] Add option to kill a shell buffer when the process ends

Previous Next

Full log

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

From: Eli Zaretskii <eliz <at> gnu.org>
To: philipk <at> posteo.net
Cc: 55426 <at> debbugs.gnu.org
Subject: Re: bug#55426: [PATCH] Add option to kill a shell buffer when the
 process ends
Date: Sun, 15 May 2022 12:49:25 +0300

> Cc: 55426 <at> debbugs.gnu.org
> Date: Sun, 15 May 2022 11:30:17 +0300
> From: Eli Zaretskii <eliz <at> gnu.org>
> 
> > From: Philip Kaludercic <philipk <at> posteo.net>
> > Date: Sun, 15 May 2022 08:13:49 +0000
> > 
> > The below patch adds an option that has a *shell* buffer automatically
> > killed when a shell process terminates.  I find this useful, because it
> > helps to avoid re-activating old shell buffers in the wrong
> > `default-directory'.
> 
> Thanks, a few comments below.

Oh, and one more: I think this change warrants a NEWS entry.

Previous Next

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