[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: |
Thu, 19 May 2022 09:51:44 +0300 |
> 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.