在 18.04 版上从命令行编辑 Gnome-Terminal 配置文件

在 18.04 版上从命令行编辑 Gnome-Terminal 配置文件

我正在尝试Gnome-Terminal使用 从命令行编辑配置文件gsettings。为了使用,gsettings我需要知道每个配置文件中包含的键和值。我的问题是dconf-editor不显示这些。我可以使用dconf-editor查看所有内容,直到/org/gnome/terminal/legacy/profiles/default。这会显示配置文件的 UUID,但不显示配置文件中的任何键/值对。我如何访问此信息以便使用 编辑配置文件gsettings

答案1

事实上,dconf-editor在 的子目录中确实显示了每个配置文件的键和值/org/gnome/terminal/legacy/profiles:/。它们的名称是 UUID,带有冒号前缀。但默认配置文件只有在被修改后才会显示。

dconf 编辑器的屏幕截图

如果您仍想使用命令行,这dconf似乎是更好的选择,因为据我所知,gsettings无法访问单个配置文件设置,只能访问新配置文件的默认设置(而不是默认配置文件的设置)。但另一方面,dconf似乎无法访问默认设置。

dconf

获取个人资料:

dconf list /org/gnome/terminal/legacy/profiles:/

获取个人资料及其姓名(来自Sergiy 的回答在这里):

dconf dump /org/gnome/terminal/legacy/profiles:/ | awk '/\[:/||/visible-name=/'

列出所有设置:

dconf dump /org/gnome/terminal/legacy/profiles:/

设定

获取个人资料:

gsettings get org.gnome.Terminal.Legacy.ProfileList list

获取默认配置文件:

gsettings get org.gnome.Terminal.Legacy.ProfileList default

获取设置(我认为这些是新配置文件的默认设置):

gsettings list-recursively org.gnome.Terminal.Legacy.Profile:/

相关内容