如何在命令行中更改 GNOME 终端配置文件名称?(从“未命名”到“默认”)

如何在命令行中更改 GNOME 终端配置文件名称?(从“未命名”到“默认”)

我知道如何使用 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]所需的新配置文件名称进行替换。

相关内容