Enviado em 13/04/2019 - 16:31h
Não é bem a resposta à tua questão, mas ao invés de usar o defasado MySQL Workbench, experimente o Dbeaver Community, é bem superior.
Você pode fazer o download do pacote compatível com sua distro em: https://dbeaver.io/download/
Você pode fazer o download do pacote compatível com sua distro em: https://dbeaver.io/download/