-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 14/09/11 16:20, Martyn Russell wrote:
> 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).

True - haven't considered that, as I am the only user.

> 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.

Would be really nice - but why do I need $PCTURES, if I include $HOME
as well? OK - if one of the other directories is not under $HOME, it
would make sense.

> 
>> 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.

Hopefully he has an idea?

Cheers,

Rainer

> 
>> Cheers from a now happy tracker user,
> 
> :)
> 


- -- 
Rainer M. Krug, PhD (Conservation Ecology, SUN), MSc (Conservation
Biology, UCT), Dipl. Phys. (Germany)

Centre of Excellence for Invasion Biology
Stellenbosch University
South Africa

Tel :       +33 - (0)9 53 10 27 44
Cell:       +33 - (0)6 85 62 59 98
Fax :       +33 - (0)9 58 10 27 44

Fax (D):    +49 - (0)3 21 21 25 22 44

email:      [email protected]

Skype:      RMkrug
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk5wuZQACgkQoYgNqgF2egr8nwCfaQ3/R5Qr3tV0fKJIBgcuqRJk
/rYAnjuuv5dYWLskKkNBT1RbirioZiVr
=6Oz5
-----END PGP SIGNATURE-----
_______________________________________________
tracker-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/tracker-list

Reply via email to