<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">On Thu, Jul 3, 2014 at 12:42 PM, David Bremner <span dir="ltr"><<a href="mailto:david@tethera.net" target="_blank">david@tethera.net</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">Gaute Hope <<a href="mailto:eg@gaute.vetsj.com">eg@gaute.vetsj.com</a>> writes:<br>
<br>
> When one of the source files for a message is changed on disk, renamed,<br>
> deleted or a new source file is added. A configurable changed tag is<br>
> is added. The tag can be configured under the option 'changed_tags' in<br>
> the [new] section, the default is none. Tests have been updated to<br>
> accept the new config option.<br>
><br>
> notmuch-setup now asks for a changed tag after the new tags question.<br>
><br>
> This could be useful for for example 'afew' to detect remote changes in<br>
> IMAP folders and update the FolderNameFilter to also add tags or remove<br>
> tags when a _existing_ message has been added to or removed from a<br>
> maildir.<br>
<br>
</div>The discussion on this proposal seems to have died out without reaching<br>
a conclusion. David M expressed a strong preference for some kind of<br>
modification time field in the database.  Gaute agreed with some caveats<br>
that such an approach could solve his problems as well. On the other<br>
hand, nobody seems to be actually working on such an approach at the<br>
moment.  Gaute and or David do you have any interest in revisiting the<br>
series <a href="mailto:id%3A1323796305-28789-1-git-send-email-schnouki@schnouki.net">id:1323796305-28789-1-git-send-email-schnouki@schnouki.net</a> and<br>
seeing if it can be reworked into mergeable shape? I suspect in<br>
particular something needs to be added with respect to message deletion<br>
Thomas, are you still running some variant of these patches?<br>
<span class="HOEnZb"><font color="#888888"><br>
d<br>
</font></span></blockquote></div><br></div><div class="gmail_extra">I am afraid I don't have the chance to put in any consistent effort on this at the moment.<br><br></div><div class="gmail_extra">I agree, message deletion needs to be solved somehow.<br>
</div><div class="gmail_extra"><br></div><div class="gmail_extra">Regards, Gaute<br></div></div>