我用过(Red Hat、Ubuntu、CentOS 等)。这些发行版利用 Gnome 终端,并提供灵活的方法来通过终端窗口中的下拉菜单设置不同的终端配置文件,该菜单位于通常输入命令的正上方。这些配置文件允许更改不同文件的字体和颜色属性等。
终端的这些不同配置文件存储在哪里?
答案1
在我的 Ubuntu 16.04 上,
- 打开 dconf 编辑器(作为用户)
- 组织 > gnome > 终端 > 旧版 > 配置文件 > ...
答案2
好吧,您刚刚引用了三个至少使用两个不同Gnome
版本的发行版。这很重要,因为从Gnome 2
到 的移动Gnome 3
从 到GTK 2
到的移动GTK 3
会稍微混合一些东西。
为了进入他的主题,通常,您的用户的所有配置都在$HOME
某个地方。首先,您需要查看$HOME
其本身,然后尝试.config
,.gconf
因为两者都建议配置目录。
话虽这么说,通过简单的谷歌搜索,我发现它可能在,~/.gconf/apps/gnome-terminal/profiles
但你的里程可能会有所不同。