[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking threa
From: |
Michael Albinus |
Subject: |
Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread |
Date: |
Wed, 20 Nov 2019 18:59:14 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Robert Pluim <address@hidden> writes:
> Michael> We have no `debbugs-gnus-*' functions. The two accidents
> Michael> left I've just fixed in the repository.
>
> Michael> Maybe we shall even avoid `ephemeral' in the name (its
> Michael> gnus-ish), and we call it
> Michael> `debbugs-read-tagged-bugs-with-gnus'. With the upper
> Michael> command `debbugs-read-tagged-bugs'.
>
> Hmm, is this not only for the GNU bugtracker, hence debbugs-gnu? Or
> are you generalizing it to all types of debbugs instances?
You are right, of course. But Lars(?) did break this rule already with
`debbugs-read-emacs-bug-with-gnus'.
Well, since this and ´debbugs-read-emacs-bug-with-rmail' are the only
exceptions (and no commands to preserve), we shall rename them to
debbugs-gnu-*. And your new functions shall start then also with
debbugs-gnu-.
I shall stop to write for today. Too much confusion.
> Robert
Best regards, Michael.
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, (continued)
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread,
Michael Albinus <=
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/21
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/21
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/21
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/21
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/21
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/22
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/22
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/22
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/22
- Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/22