[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#55426: [PATCH] Add option to kill a shell buffer when the process en
|
From: |
Eli Zaretskii |
|
Subject: |
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@debbugs.gnu.org
> Date: Sun, 15 May 2022 11:30:17 +0300
> From: Eli Zaretskii <eliz@gnu.org>
>
> > From: Philip Kaludercic <philipk@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.