J'ai installé mysql-workbench
dans Ubuntu 14.04 LTS à l'aide de Software Center. Il installe MySQL Workbench version 6.0.8.
En cela, le menu est doublé
J'ai donc décidé de mettre à niveau MySQL Workbench. J'ai ajouté un référentiel fourni par site officiel de MySQL et l'ai mis à jour.
Sudo apt-get install mysql-workbench-community
Maintenant, la version de MySQL Workbench est
Le menu est quand même dupliqué. Comment puis-je résoudre ce problème?
Modifier:
La même question a été posée ici sans aucune réponse:
Problèmes liés à l'interface graphique de MySQL Workbench dans Ubuntu 14.1
UPDATE:
Ce problème de menu multiple est résolu dans mysql workbench version 6.3.3. J'ai installé la nouvelle version trouvée ici: https://dev.mysql.com/downloads/workbench/ J'ai installé la version suivante Ubuntu Linux 14.10 (x86, 64 bits), DEB.
NOTE: suis sous Ubuntu 15.04. Cependant, j'ai installé la version 14.10 et cela fonctionne très bien.
: END UPDATE
Si vous regardez de plus près, le menu n'est pas réellement doublé. Ce sont en fait deux menus séparés. Le premier menu est spécifique à la page d'accueil de MySQL Connections . Le deuxième menu est spécifique à votre connexion de base de données ouverte. Par exemple, si vous ouvrez mysql-workbench, vous ne verrez qu'un seul menu. Ensuite, si vous ouvrez une connexion à une base de données et affichez une feuille de calcul SQL, le deuxième menu est affiché.
Je classerais probablement ceci comme un bug en raison de la redondance des deux menus séparés. Toutefois, si vous souhaitez modifier les menus, vous devez le faire en modifiant le code XML correspondant: /usr/share/mysql-workbench/data/main_menu.xml
.
Une façon de faire est de lancer:
Sudo nano /usr/share/mysql-workbench/data/main_menu.xml
Cette réponse par Milosz Bodzek résolu mon problème. Sa solution consistait à placer export UBUNTU_MENUPROXY=0
en haut du fichier script mysql-workbench.