Note : astuce Linux - MATE - Gnome Do

Sous MATE (fork de Gnome 2) il se peut que Gnome-Do n’indexe pas tout. Même les applications (préférences du clavier ou le terminal, par exemple).

C’est parce que Gnome-Do c’est gnome, et que les applications sont faits pour n’être détectables que par les applis Mate.

Voilà la commande pour désactiver cette restriction :
sudo sed -i 's/OnlyShowIn=/#OnlyShowIn/g' /usr/share/applications/*.desktop