[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: |
Robert Pluim |
Subject: |
Re: bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread |
Date: |
Wed, 20 Nov 2019 15:18:00 +0100 |
>>>>> On Wed, 20 Nov 2019 14:43:46 +0100, Michael Albinus <address@hidden> said:
Michael> Works for me. However, the "Status:" messages shall be kicked off.
And
Michael> it shall be checked, whether `debbugs-gnu-mail-backend' is bound
to `gnus'.
The clue is in the name of the function, but OK.
No more feature requests :-)
Michael> If Lars doesn't object, you might commit it, plus docstring, and
plus
Michael> documentation in debbugs-ug.texi.
I donʼt think Iʼm set up to push to elpa.
(defun debbugs-gnus-ephemeral-from-tagged ()
"Create an ephemeral Gnus group of locally tagged emacs bugs."
(interactive)
(unless (eq debbugs-gnu-mail-backend 'gnus)
(error "This function only works with Gnus."))
(when (file-exists-p debbugs-gnu-persistency-file)
(with-temp-buffer
(insert-file-contents debbugs-gnu-persistency-file)
(eval (read (current-buffer)) t))
(when debbugs-gnu-local-tags
(let ((mbox-url (replace-regexp-in-string
";mboxstat=yes" ""
(alist-get 'emacs gnus-bug-group-download-format-alist)
nil t)))
(gnus-read-ephemeral-bug-group
debbugs-gnu-local-tags
mbox-url)))))
- 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 <=
- 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, 2019/11/20