[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: |
Philip Kaludercic |
|
Subject: |
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.