Re: [FEATURE] Purge ignored messages from index

2018-11-23 Thread Markus Weimar
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 some ignore parameter. ´new´

[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