本文介绍了如何以gnome-terminal为例，修改gnome3的默认配置。通过dconf-editor和gsettings命令行工具，可以查看并修改gnome-terminal的默认配置文件，如字体大小和类型。通过在dconf数据库中创建补丁文件，可以实现对系统级别的配置进行定制。文章强调了正确路径的重要性，并提到了参考资源。
以gnome-terminal为例，修改gnome3 的默认配置，
gnome连续几个版本的terminal默认配置文件都是同一个配置文件“b1dcc9dd-5262-4d8d-a863-c897e6d979b9”。这是因为gnome的developers编辑了这个配置文件并作为gnome-terminal的默认配置文件，用来对terminal生成一个默认的样式和外观等配置。在3.x连续几个子版本的gnome，这个设置都没有作出什么改变。
如果我们想定制gnome-terminal或其他gnome应用的默认配置，即如果你想把默认配置文件的默认配置选项都调成你想要的，如果你的gnome崩了，待你修复完成后默认的配置还是你自己调制好的，它已经作为一个你专属的gnome默认配置被保存了。
上个图感受下这个gnome-teiminal默认配置文件的默认选项。我们采用dconf-editor这个图形软件查看gnome的配置情况：
可以看到，标题处显示当前路径为“/org/gnome/terminal/legacy/profiles:/”，下面是内容：几个配置文件的id，以及配置文件的默认值和列表值。默认值，即键“default”的值，代表着gnome-terminal的默认配置文件是哪个，可以看到当前的默认值并不是上文提到的那个“b1dcc”开头的值，这是因为这个键的值被我修改过了;列表值，即键“list”的值，这个值代表了在gnome-terminal->ed
最低0.47元/天 解锁文章
扫一扫
2187
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
