如何配置mysql workbench的configuration file

MySQL Workbench 的配置文件位于用户目录下的 `workbench.ini` 文件中。下面是一些常见的配置选项：

1. 修改默认字体大小：

[appearance]
fontSize=11

2. 修改默认主题：

[appearance]
theme=Dark

3. 修改默认语言：

[general]
language=zh_CN

4. 修改默认连接超时时间：

[client]
connect_timeout=10

5. 修改默认查询缓存大小：

[query]
resultset_max_mem_size=1024M

你可以根据自己的需求进行配置，具体的配置项可以参考 MySQL Workbench 的官方文档。配置文件的位置可能因操作系统而异，可以在 MySQL Workbench 中通过 Help -> Open Log Files 找到 `workbench.log` 文件，该文件中会包含 `workbench.ini` 文件的路径。