Encontre o script mysql-workbench
(geralmente localizado em /usr/local/bin
).
Edite e coloque export UBUNTU_MENUPROXY=0
no topo do arquivo, salve. É isso.
Depois de instalar algumas atualizações, a barra de menus do aplicativo MySQL-workbench está mostrando entradas de menu duplicadas.
O mesmo problema também estava presente no GIMP. Mas limpar-remover e instalar novamente resolveu este problema.
Por favor, deixe-me saber se existe alguma alternativa para resolver este problema (se possível permanentemente), diferente de remover e instalar.
Encontre o script mysql-workbench
(geralmente localizado em /usr/local/bin
).
Edite e coloque export UBUNTU_MENUPROXY=0
no topo do arquivo, salve. É isso.