Re: [PATCH 2/2] added support for user-specified directories to exclude

Subject:Re: [PATCH 2/2] added support for user-specified directories to exclude

Date:Sat, 28 Jan 2012 15:16:57 +0100

To:notmuch@notmuchmail.org

Cc:

From:Fabio Zanini


On Fri, Jan 27, 2012 at 12:41:18PM +0200, Tomi Ollila wrote:
> It's easy to combine works together, but more difficult is to choose best 
> terminology: database.exclude vs. new.ignore (or something in between or 
> totally different). Ideas anyone?

I would opt for including two mechanisms for ignoring dirs:
- explicit mention in the config file (e.g. under new.ignore);
- check for presence of a file in the dir (e.g. .notmuchignore), much
  like mu [1].

The second mechanism is useful in case of a large number of folders to
be ignored, as one can simply copy .notmuchignore in all those folders
with a for cycle; listing all of them in the config file would be
cumbersome - and make the config file itself horribly bloated.

Cheers,
Fabio

[1] http://code.google.com/p/mu0/

Thread: