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 some ignore parameter.
>
> ´new´ already removes messages from the index if the files are
> gone. Removing those but keeping newly ignored messages seems
> inconsistent to me and it did confuse me.

Notmuch new works very hard to not visit files that haven't
changed. Changing this would have a big negative performance impact, afaik.

I care less about the performance of reindex; also it already
rescans all the relevant messages, so I guess the performance impact
would not be that bad.

Sometimes it's worth giving up performance for more intuitive behaviour,
but most people seem to manage with the current behaviour.

d
___
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch


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

___
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch


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:

> 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'´ purges the spam messages
> from the index
> >
>
> My first instinct would be to leave new as is, but change reindex to pay
> attention to some ignore parameter.
>
> d
> ___
> notmuch mailing list
> notmuch@notmuchmail.org
> https://notmuchmail.org/mailman/listinfo/notmuch
>
___
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch


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'´ purges the spam messages from the 
> index
>

My first instinct would be to leave new as is, but change reindex to pay
attention to some ignore parameter.

d
___
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch


[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 
index

Markus
___
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch