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

2012-01-28 Thread 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

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

2012-01-27 Thread Austin Clements
Quoth Tomi Ollila on Jan 26 at 12:11 pm: > A new configuration key 'database.exclude' is used to determine > which directories user wants not to be scanned for new mails. Not just directories. > --- > > Notes (from 2011-09-13): > > 1) Currently the comments for newly created configuration file

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

2012-01-27 Thread Austin Clements
Quoth Tomi Ollila on Jan 27 at 12:41 pm: > On Thu, 26 Jan 2012 13:11:36 +, Jani Nikula wrote: > > On Thu, 26 Jan 2012 12:11:58 +0200, Tomi Ollila > > wrote: > > > A new configuration key 'database.exclude' is used to determine > > > which directories user wants not to be scanned for new

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

2012-01-27 Thread Tomi Ollila
On Thu, 26 Jan 2012 13:11:36 +, Jani Nikula wrote: > On Thu, 26 Jan 2012 12:11:58 +0200, Tomi Ollila wrote: > > A new configuration key 'database.exclude' is used to determine > > which directories user wants not to be scanned for new mails. > > > > --- > > > > Notes (from 2011-09-13): > >

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

2012-01-26 Thread Jani Nikula
On Thu, 26 Jan 2012 12:11:58 +0200, Tomi Ollila wrote: > A new configuration key 'database.exclude' is used to determine > which directories user wants not to be scanned for new mails. > > --- > > Notes (from 2011-09-13): > > 1) Currently the comments for newly created configuration file are

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

2012-01-26 Thread Tomi Ollila
A new configuration key 'database.exclude' is used to determine which directories user wants not to be scanned for new mails. --- Notes (from 2011-09-13): 1) Currently the comments for newly created configuration file are not updated, so for not this is 'undocumented feature'. Should there be

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

2012-01-26 Thread Tomi Ollila
A new configuration key 'database.exclude' is used to determine which directories user wants not to be scanned for new mails. --- Notes (from 2011-09-13): 1) Currently the comments for newly created configuration file are not updated, so for not this is 'undocumented feature'. Should there be

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

2012-01-26 Thread Jani Nikula
On Thu, 26 Jan 2012 12:11:58 +0200, Tomi Ollila tomi.oll...@iki.fi wrote: A new configuration key 'database.exclude' is used to determine which directories user wants not to be scanned for new mails. --- Notes (from 2011-09-13): 1) Currently the comments for newly created configuration