“J'espere qu'il y ait quelque chose de plus propre pensé par les devs de gnome a moins que ceux ci ne veulent pas qu'on coupe leur tracker?”
La méthode avec la commande gsettings *est* propre. Elle est juste un peu bourrine et pas très pratique. Du reste, il me semble que ajouter un fichier .nomedia dans le dossier à ne pas indexer fonctionne aussi (je ne me souviens plus si c'est récursif ou non).
EDIT après recherche :
https://together.jolla.com/question/5935/how-to-blacklist-directories-from-being-indexed-by-tracker/