[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 14:14:00 +0300 |
> From: Philip Kaludercic <philipk@posteo.net>
> Cc: 55426@debbugs.gnu.org
> Date: Sun, 15 May 2022 11:06:42 +0000
>
> Thank you for your comments, here is an improved version:
Thanks. One nit:
> +** Shell
> +
> +---
> +*** New user option 'shell-kill-buffer-on-exit'
> +Enabling this open will automatically kill a *shell* buffer as soon as
^^^^
Seems like a leftover from a different version?