Allora, dopo una ricerca in rete, sembra essere un bug di mysql-workbench nella sua ultima versione. Il bug è stato riscontrato da diversi utenti su piattaforme diverse, comunque trovate una valida soluzione qui:
https://bugs.mysql.com/bug.php?id=87380Riassumo come risolvere il problema (a me è andata benone):
0] ho disinstallato la mysql-workbench-community-6.3.9-1.el7.x86_64
1] ho fatto il download della precedente versione mysql-workbench-community-6.3.8-1.el7 e l'ho insallata
2] per evitare gli upgrade in fase di aggiornamento ho:
- installato il plugin versionlock di yum ed ho inserito nella lista la versione di mysql-workbench appena installata:
# yum install yum-plugin-versionlock
# yum versionlock mysql-workbench-community-6.3.8-1.el7.*
Questo è quanto.
Un saluto a tutti.
//gert