--- 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 ---