Seguindo uma sugestão em outro post, achei o Unity Dash. Lá eu recebo 3 ícones correspondentes para mysql_workbench
. Tudo o que sei é que cliquei em um, e agora sou capaz de Bloquear de lá ou de executar mysql_workbench
de um terminal e ele funciona OK novamente.
Tenho certeza de que os vários ícones são sintomáticos de algo que não ajuda.
Eu deletei todos os arquivos ~/.local/share/applications/*mysql-workbench-bin.desktop
. Não consigo mais várias correspondências do Dash, e a que obtenho funciona bem novamente. Então eu acho que isso estava ligado ao problema.