[FEATURE] Purge ignored messages from index

2018-11-22 Thread Markus Weimar
Indexed but subsequently ignored messages remain indexed. I suggest to purge them from the index as if the files were removed. Example: * Create index including spam directory * Add spam directory to ignore list * Neither ´new´ nor ´reindex 'folder:spam'´ purges the spam messages from the

Re: [FEATURE] Purge ignored messages from index

2018-11-22 Thread Jeremy Nickurak
Don't they need to be in the index in order to match the ignore condition, which then allows them to be excluded from usual activities? What's the actual thing you're hoping to achieve by not having those ignored messages be in the index? On Thu, Nov 22, 2018 at 10:33 AM David Bremner wrote: >

Re: [FEATURE] Purge ignored messages from index

2018-11-22 Thread David Bremner
Markus Weimar writes: > Indexed but subsequently ignored messages remain indexed. I suggest to purge > them from the index as if the files were removed. > > Example: > > * Create index including spam directory > * Add spam directory to ignore list > * Neither ´new´ nor ´reindex 'folder:spam'´

Re: [FEATURE] Purge ignored messages from index

2018-11-22 Thread David Bremner
Jeremy Nickurak writes: > Don't they need to be in the index in order to match the ignore condition, > which then allows them to be excluded from usual activities? new.ignore is not about searching. It is about indexing. A similar, but different feature for searching is search.exclude_tags d

Re: [FEATURE] Purge ignored messages from index

2018-11-22 Thread David Bremner
Markus Weimar writes: > Thanks for your reply! I only installed notmuch today, so please take this > into account when considering my thoughts. > > On Thu, 2018-11-22 13:33:06 -0400, David Bremner wrote: >> My first instinct would be to leave new as is, but change reindex to pay >> attention to