bug#55426: closed ([PATCH] Add option to kill a shell buffer when the process ends)

[GNU bug Tracking System]

Your message dated Fri, 20 May 2022 08:23:51 +0000
with message-id <87mtfc1ujs.fsf@posteo.net>
and subject line Re: bug#55426: [PATCH] Add option to kill a shell buffer when 
the process ends
has caused the debbugs.gnu.org bug report #55426,
regarding [PATCH] Add option to kill a shell buffer when the process ends
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
55426: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=55426
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] Add option to kill a shell buffer when the process ends Date: Sun, 15 May 2022 08:13:49 +0000

Tags: patch


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'.  Eshell has a "similar" behaviour (setting aside
that it doesn't have an inferior process), but term doesn't.  If this
patch is merged, perhaps something similar for term could be done too?`

In GNU Emacs 29.0.50 (build 12, x86_64-pc-linux-gnu, GTK+ Version 2.24.33, 
cairo version 1.16.0)
 of 2022-05-11 built on icterid
Repository revision: 474241f356c638bfd8d4eecb7138e3af76a8c036
Repository branch: master
Windowing system distributor 'The X.Org Foundation', version 11.0.12011000
System Description: Debian GNU/Linux 11 (bullseye)

Configured using:
 'configure --with-tree-sitter'

0001-Add-option-to-kill-a-shell-buffer-when-the-process-e.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#55426: [PATCH] Add option to kill a shell buffer when the process ends
>
>
>
>
> Date: 
>
> Fri, 20 May 2022 08:23:51 +0000
>
>
>
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> From: Philip Kaludercic <philipk@posteo.net>
> >> Cc: 55426@debbugs.gnu.org
> >> Date: Sun, 15 May 2022 11:51:53 +0000
> >> 
> >> +*** New user option 'shell-kill-buffer-on-exit'
> >
> > This should end with a period, to be a full sentence.
> >
> > Otherwise, LGTM, thanks.
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> From: Philip Kaludercic <philipk@posteo.net>
> >> Cc: 55426@debbugs.gnu.org
> >> Date: Wed, 18 May 2022 23:13:05 +0000
> >> 
> >> 
> >> So is the patch fine?  May I push it?
> >
> > Sorry for the delay.  I've posted a response just now with a small
> > correction; feel free to install after fixing that nit.
>
> Done.
>
> > Thanks.
>
> Thank you for your help.
>
>
> --- End Message ---