<div dir="ltr">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?<div><br></div><div>What's the actual thing you're hoping to achieve by not having those ignored messages be in the index?</div></div><br><div class="gmail_quote"><div dir="ltr">On Thu, Nov 22, 2018 at 10:33 AM David Bremner <<a href="mailto:david@tethera.net">david@tethera.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Markus Weimar <<a href="mailto:markus.weimar@gmail.com" target="_blank">markus.weimar@gmail.com</a>> writes:<br>
<br>
> Indexed but subsequently ignored messages remain indexed. I suggest to  purge them from the index as if the files were removed.<br>
><br>
> Example:<br>
><br>
> * Create index including spam directory<br>
> * Add spam directory to ignore list<br>
> * Neither ´new´ nor ´reindex 'folder:spam'´ purges the spam messages from the index<br>
><br>
<br>
My first instinct would be to leave new as is, but change reindex to pay<br>
attention to some ignore parameter.<br>
<br>
d<br>
_______________________________________________<br>
notmuch mailing list<br>
<a href="mailto:notmuch@notmuchmail.org" target="_blank">notmuch@notmuchmail.org</a><br>
<a href="https://notmuchmail.org/mailman/listinfo/notmuch" rel="noreferrer" target="_blank">https://notmuchmail.org/mailman/listinfo/notmuch</a><br>
</blockquote></div>