MySQL Workbench y snap: cómo cambiar code_editor.xml

MySQL Workbench y snap: cómo cambiar code_editor.xml

Tengo MySQL Workbench Community versión 8.0.29 instalado como complemento. Me gustaría cambiar algunas configuraciones en code_editor.xmlel archivo.

La ruta completa es /snap/mysql-workbench-community/10/usr/share/mysql-workbench/data/code_editor.xml- que se encuentra en el sistema de archivos de sólo lectura /snap/mysql-workbench-community. Sospecho que la forma correcta de hacerlo es anular el archivo en algún lugar ~/snap/mysql-workbench-communityde mi carpeta de inicio.

¿Alguien ha hecho eso antes y podría ayudarme con el camino que funciona correctamente?

Respuesta1

Hay algunas formas ingeniosas de modificar las instalaciones instantáneas. Comodescomprimidoscon snap tryo sobrescribiendo un archivo conmontar.

Pero recomiendo instalarlo desde apt o dpkg.
Descargue la última configuración de MySQL apt desde https://dev.mysql.com/downloads/repo/apt/

Luego instale a través de

sudo dpkg -i mysql-apt-config_w.x.y-z_all.deb
sudo apt-get update
sudo apt-get install mysql-workbench-community

Asegúrate queHerramientas y conectoresestán habilitados cuando se ejecuta dpkg -i.
Servidor y clústeryVista previa de paquetesse puede desactivar.
Ahora puedes modificar fácilmente el archivo en/usr/share/mysql-workbench/data/code_editor.xml

información relacionada