GNU bug report logs - #50120
27.1; indicate which articles we have piped

Previous Next

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: 積丹尼 Dan Jacobson <jidanni <at> jidanni.org>
Cc: 50120 <at> debbugs.gnu.org
Subject: bug#50120: 27.1; indicate which articles we have piped
Date: Thu, 19 Aug 2021 15:13:01 +0200

積丹尼 Dan Jacobson <jidanni <at> jidanni.org> writes:

> | runs the command gnus-summary-pipe-output
>
> it is great, but unlike articles we save,
> there is no mark, however temporary,
> showing which articles we piped,
> vs. which articles we didn't yet pipe.

Piping an article is one of a gazillion things you can do with an
article, so I don't really see the point in marking that action in
particular in the summary buffer.

Closing.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

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