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. _______________________________________________ tracker-list mailing list tracker-list@gnome.org http://mail.gnome.org/mailman/listinfo/tracker-list
