Subject: Re: bug#55426: [PATCH] Add option to kill a shell buffer when the process ends

From: Eli Zaretskii <[email-masked]>
Date: Sun, 15 May 2022 12:49:25 +0300

> Cc: [email-masked]
> Date: Sun, 15 May 2022 11:30:17 +0300
> From: Eli Zaretskii <[email-masked]>
> 
> > From: Philip Kaludercic <[email-masked]>
> > 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.