bug#42386: closed ([PATCH] Handle symbols in project-kill-buffers-ignores)

[GNU bug Tracking System]

Your message dated Wed, 29 Jul 2020 01:33:40 +0300
with message-id <e1fe1331-e184-5f7d-2406-8e72cb16019b@yandex.ru>
and subject line Re: bug#42386: Acknowledgement ([PATCH] Handle symbols in 
project-kill-buffers-ignores)
has caused the debbugs.gnu.org bug report #42386,
regarding [PATCH] Handle symbols in project-kill-buffers-ignores
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
42386: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42386
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] Handle symbols in project-kill-buffers-ignores
>
>
>
>
> Date: 
>
> Thu, 16 Jul 2020 10:15:51 +0200
>
>
>
>
> Hi,
>
> using project-kill-buffers for the last few weeks I noticed that my ERC
> buffers get killed when I started my session in a project. This kicks me
> out of all the channels I have joined, which is not intended.
>
> Fixing this is easy, I just have to ignore ERC buffers:
>
>         (add-to-list 'project-kill-buffers-ignores
>                      (lambda (buf)
>                        (with-current-buffer buf
>                          (derived-mode-p 'erc-mode))))
>
> but because I think that this is a common use-case, I implemented a
> patch to automatically exclude certain major modes from being treated as
> project dependent. The above example could then be simplified to
>
>         (add-to-list 'project-kill-buffers-ignores
>                      'erc-mode)
>
> Currently it only checks major modes, but I guess it could be easily
> extended to also handle minor modes/any buffer local variables.
>
> -- 
>         Philip K.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#42386: Acknowledgement ([PATCH] Handle symbols in project-kill-buffers-ignores)
>
>
>
>
> Date: 
>
> Wed, 29 Jul 2020 01:33:40 +0300
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0
>
>
>
>
> On 27.07.2020 21:33, Philip K. wrote:
> > I actually sent a patch yesterday, but thanks to your message I realised
> > that my messages weren't being sent (new mail provider, didn't configure
> > it properly).
> >
> > I attached the patch below, and hope everything works now.
>
> Thanks!
>
> Applied a few minor changes and pushed.
>
>
> --- End Message ---