MySQL工作台菜单显示加倍

Question

我使用软件中心在Ubuntu14.04LTS中安装了mysql-workbench。它安装了MySQL工作台6.0.8版本。

在这里，菜单加倍。

因此，我决定升级MySQL工作台。我添加了MySQL官方网站提供的存储库并对其进行了升级。

sudo apt-get install mysql-workbench-community

现在MySQL工作台版本是

菜单仍然是复制的。我怎样才能解决这个问题？

编辑：

同样的问题在这里也没有得到任何答复：

Ubuntu14.10中的MySQL工作台GUI问题

Answer 1

更新：

这个多菜单问题在mysql工作台版本6.3.3中得到了修正。我安装了这里找到的新版本：https://dev.mysql.com/downloads/workbench/我安装了以下版本UbuntuLinux14.10 (x86，64位)，DEB。

注:我正在运行Ubuntu15.04。但是，我安装了14.10版本，它运行得很好。

：结束更新

如果你仔细观察，菜单实际上不是加倍的。它实际上是两个单独的菜单。第一个菜单是特定于MySQL连接主页的。第二个菜单特定于打开的数据库连接。例如，如果打开mysql-工作台，一开始只会看到一个菜单。然后，如果打开数据库连接并显示SQL工作表，则会显示第二个菜单。

我可能会把它归类为bug，因为两个单独的菜单都是冗余的。但是，如果您想要更改菜单，当然可以在这里为它们编辑XML：/usr/share/mysql-workbench/data/main_menu.xml。

这样做的一种方法是运行：

sudo nano /usr/share/mysql-workbench/data/main_menu.xml

Answer 2

这个答案 by 米洛士·博采克解决了我的问题。他的解决方案是将export UBUNTU_MENUPROXY=0放在mysql-workbench脚本文件的顶部。