J'ai installé Edubuntu 14.04 LTS sur différentes machines à des fins de test, mais l'éditeur de menu ne s'ouvre pas sur aucune d'entre elles; vous cliquez et rien ne s'ouvre du tout. cependant, le même icône fonctionne sur la machine de test d'Ubuntu 12.04
Réponses
Trop de publicités?
Matt
Points
21
polarbear347
Points
99
J'ai observé le même problème sur mon installation (Edubuntu 14.04.1). L'exécution de sudo apt-get install gmenu comme suggéré par Matt a donné une erreur, "impossible de localiser le paquet gmenu".
J'ai remarqué que python-gmenu est installé dans Edubuntu 12 mais pas dans Edubuntu 14.
En exécutant sudo apt-get install python-gmenu, l'éditeur de menu a été réparé. Il peut maintenant s'ouvrir.
Le menu "Edubuntu Menu Editor - Profile Manager" est manquant dans mon installation d'Edubuntu.
J'ai créé un autre élément de menu et lui ai donné cette commande copiée de l'installation de Linux Mint :
gksu --desktop /usr/share/applications/profilemanager.desktop profilemanagerREMARQUE : J'ai également installé gksu car il n'était pas présent.
