Avec Gnome 2.10, la fonction d'édition du menu n'est plus disponible directement, il faut installer Menu Editor (rechercher menueditor dans Synaptic). Menu Editor ne fonctionne pas très bien et il arrive que les nouvelles entrées se retrouvent dans une catégorie Autre du menu. Il faut donc éditer les fichiers desktop à la main pour les placer ailleurs :

  • Deux emplacements à ouvrir via Nautilus pour voir les changements, le Terminal étant un système "aveugle" : /usr/share/applications et ~/.local/share/applications
  • Dans la première ( /usr/share/applications ), éditons par exemple Mines qui est de la même catégorie que Wormux que l'on vient d'installer et qui devrait être dans Jeux, et non dans Autres comme l'ajoute Menu Editor :
$ ls /usr/share/applications/*mine*
  • On obtient ainsi le nom complet du raccourci. On va le Géditer :
$ sudo gedit /usr/share/applications/gnomine.desktop
  • La ligne qui nous intérresse est la suivante :
Categories=GNOME;Application;Game;PuzzleGame;
  • Il faut la reproduire sur le raccourci de Wormux qui se trouve donc dans ~/.local/share/application :
$ ls ~/.local/share/applications/*wormux*
$ sudo gedit ~/.local/share/applications/wormux-user.desktop
  • On change donc la ligne Categories= par celle de Mines :
Categories=GNOME;Application;Game;
  • Notons au passage que PuzzleGame; n'est pas indispensable.

On se retrouve avec Wormux dans le menu jeux de Gnome. C'est long, mais ça marche. Par la suite, il suffit de bien connaître les catégories de Gnome et on n'a plus besoin d'éditer des raccouris semblables.