diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2017-10-20 22:25:40 -0400 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2017-10-21 19:53:08 -0300 |
| commit | 0bb05ff693737c5b91d6a64f6209984a6c418c46 (patch) | |
| tree | 9d60840a70576b3f5f71decd0128205b5e79e62f /doc | |
| parent | 6575b7eb31a710c8215be698d5cf31be20d4356e (diff) | |
reindex: drop all properties named with prefix "index."
This allows us to create new properties that will be automatically set
during indexing, and cleared during re-indexing, just by choice of
property name.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/man7/notmuch-properties.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/man7/notmuch-properties.rst b/doc/man7/notmuch-properties.rst index 8654077c..f70ffb3c 100644 --- a/doc/man7/notmuch-properties.rst +++ b/doc/man7/notmuch-properties.rst @@ -41,6 +41,12 @@ Extensions to notmuch which make use of properties are encouraged to report the specific properties used to the upstream notmuch project, as a way of avoiding collisions in the property namespace. +CONVENTIONS +=========== + +Any property with a key that starts with "index." will be removed (and +possibly re-set) upon reindexing (see **notmuch-reindex(1)**). + SEE ALSO ======== |