我知道如何使用 GUI 更改 GNOME 终端配置文件名称,但我想使用命令行(自动化方式)执行相同操作。我该怎么做?
答案1
使用以下命令获取可用的配置文件名称
gsettings get org.gnome.Terminal.ProfilesList list
要了解默认配置文件,请运行以下命令
gsettings get org.gnome.Terminal.ProfilesList default
要获取默认配置文件名称,请从上面的输出中运行以下命令
gsettings get org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ visible-name
要重命名上述内容,请运行以下命令
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ visible-name 'Default'
同样,如果您有多个配置文件,从列表命令中获取 ID,然后您可以更改任何配置文件名称。
编辑
为了简化,您可以保存以下脚本并在需要时运行。
#!/bin/bash
id=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d "'")
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$id/ visible-name 'Default'
答案2
开始dconf-editor
。如果您的系统上尚未安装它,请先安装它。
查看org/gnome/terminal/legacy/profiles:
并找到所需配置文件的密钥。
从命令行执行以下操作:
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:[key]/ visible-name [new_name]
[key]
用您在其中找到的密钥dconf-editor
和[new_name]
所需的新配置文件名称进行替换。