Re: [Tracker] Suggestion for default directories

[Martyn Russell <martyn lanedo com>]

On 14/09/11 15:11, Rainer M Krug wrote:
> Hi

Hi there,

Relevant bug for this discussion:

  https://bugzilla.gnome.org/show_bug.cgi?id=600812

> In addition to the directories in $HOME, it would be useful to index
> as well man and info pages, and other documentation directories.

It's been discussed before and it's not straight forward. Logically, you 
would want to approach this by indexing it once and sharing for all 
users given it's not user specific data - a bit like applications aren't 
(though that's quite minimal usually). The problem with that is, we have 
moved away from multiple databases for reasons of SQLite's WAL feature 
and ACID¹ with our DB.

¹ http://en.wikipedia.org/wiki/ACID

> At least a button on the right in the preferences gui to add these
> directories would be useful.

Something I have wanted to do for a long time is to make the XDG dirs 
actual buttons and not weird strings in the list :) So they're really 
just toggle buttons. One for documentation could also be useful I agree.

> In addition, would it be possible to add the indexing of emails in
> local directories (maildir and I have forgotten the other format at
> the moment), and an identification of those as emails?

That's a question for Philip.

> Cheers from a now happy tracker user,

:)

--
Regards,
Martyn

Founder and CEO of Lanedo GmbH.