GNU bug report logs - #55426
[PATCH] Add option to kill a shell buffer when the process ends

Previous Next

Full log

Message #17 received at 55426 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Philip Kaludercic <philipk <at> posteo.net>
Cc: 55426 <at> debbugs.gnu.org
Subject: Re: 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 <at> posteo.net>
> Cc: 55426 <at> 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?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.