基于当前终端设置创建GNOME Terminal配置文件
当然有办法解决这个麻烦!不用再费劲数行数和列数,下面两种方法可以帮你把当前调好的终端设置快速转换成全新的GNOME Terminal配置文件:
方法一:用dconf命令行精准导出导入
这是最直接的方式,能完整复制当前终端的所有配置(包括行列数、缩放、颜色、字体等):
第一步:获取当前终端的配置ID
打开你已经调整好的终端窗口,运行以下命令,它会输出当前终端使用的配置文件UUID:echo $GNOME_TERMINAL_PROFILE_ID你会得到一串类似
b1dcc9dd-5262-4d8d-a863-c897e6d979b9的字符串,记下来。第二步:导出当前配置到本地文件
把刚才得到的UUID替换进下面的命令,将配置导出到一个文件中(比如命名为my-custom-profile.dconf):dconf dump /org/gnome/terminal/legacy/profiles:/:你的UUID/ > my-custom-profile.dconf第三步:生成新的配置文件UUID
运行下面的命令生成一个全新的UUID,用于创建新的配置文件:uuidgen同样会得到一串新的UUID,比如
a1b2c3d4-e5f6-7890-abcd-1234567890ab。第四步:导入配置到新的配置文件
把新的UUID替换进命令,将刚才导出的配置导入到新的配置路径:dconf load /org/gnome/terminal/legacy/profiles:/:新的UUID/ < my-custom-profile.dconf第五步:给新配置文件命名
最后给这个新配置起个好记的名字,替换下面的名称即可:dconf write /org/gnome/terminal/legacy/profiles:/:新的UUID/visible-name "'我的自定义终端配置'"
完成后打开终端偏好设置,就能看到这个新的配置文件了,选择它就能直接使用和之前调好的终端一模一样的设置。
方法二:图形界面快速复制(适合不想用命令行的情况)
如果你更习惯用图形界面操作,可以这样做:
- 右键当前终端窗口,选择「首选项」打开终端配置界面。
- 在左侧的配置文件列表中,找到你当前正在使用的配置文件(就是你调好的那个),点击它旁边的「复制配置文件」按钮。
- 给复制出来的新配置文件改个名字,比如「我的自定义窗口配置」。
- 确认后,这个新配置就继承了原配置的所有设置,包括你调整好的行列数和缩放级别。
注意:这个方法的前提是你当前终端的设置已经保存到了对应的配置文件中——一般来说,调整窗口大小后关闭终端,GNOME Terminal会自动把这个大小保存到当前使用的配置文件里,所以不用担心。
备注:内容来源于stack exchange,提问作者Byron Hawkins

