使用配置文件而不是命令行参数配置 gnome-terminal
我在 gnome-terminal 帮助文档中发现了一个非常酷的列表,其中列出了您可以在文件中配置的内容,但绝对没有关于 conf 文件中的变量是什么的文档。我已经用谷歌搜索了很多,但没有找到任何有用的东西。有人可以给我指出一些东西,甚至列出实际的命令吗?或者也许出来坐在我的办公桌前并配对。今天早上我的谷歌搜索失败了。
谢谢
I've found in the gnome-terminal help documentation a really cool list of things you can configure in a file but absolutely no documentation of what the variables in the conf file are. I've googled a bunch for this and haven't found anything useful. Can someone point me to something or even list the actual commands. Or maybe come out and sit here at my desk and pair on it. My google-fu has failed me this morning.
thanks
如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
发布评论
评论(3)
此后,GNOME 终端改变了其存储配置的方式;它现在使用
dconf
,至少从gnome-terminal 3.28.2
开始。您可以使用以下方式查询
dconf
数据库中可用配置文件的 UUID:示例输出:
您可以查看所有每个配置文件的可配置设置(在
dconf
中称为“键”)及其当前值使用:示例输出:(
提示:如果您通过管道进行排序,则可以按字母顺序按字母顺序排序,因此将命令修改为 gsettings list-recursively“org.gnome..... ." | sort -k2)
要设置密钥(例如
audible-bell
),请使用:查看 此脚本位于我的 GitHub dotfiles 存储库中作为实际示例。在该脚本中,我创建自己的配置文件(如果尚不存在),将该配置文件设置为默认配置文件,然后配置该配置文件的密钥以及适用于所有配置文件的一些全局密钥。
GNOME Terminal has since changed how it stores its configuration; it now uses
dconf
, at least as ofgnome-terminal 3.28.2
.You can query the
dconf
database for the UUIDs of available Profiles using:Example output:
You can view all per-Profile configurable settings (called "keys" in
dconf
) and their current values using:Example output:
(tip: you can sort alphabetically by key if you pipe to
sort
, so modify your command togsettings list-recursively "org.gnome......" | sort -k2
)To set a key (e.g.
audible-bell
), use:Check out this script in my GitHub dotfiles repo for a practical example. In that script, I create a Profile of my own (if it does not already exist), set that Profile as the default, then configure the keys for that Profile as well as some global keys that apply to all profiles.
此外,gconf-editor 将 gnome-terminal 的配置存储在 ~/.gconf/apps/gnome-terminal 中
Also, gconf-editor stores it's configurations for gnome-terminal in ~/.gconf/apps/gnome-terminal
您不只是在谈论使用 gconf-editor (通常来自系统菜单),是吗?
实际上,gconf-editor 需要从我的 Ubuntu 系统上的终端启动,但是 gnome-terminal 下有一堆设置。
You're not just talking about using gconf-editor (from the System menu usually) are you?
Actually, gconf-editor needs to be started from a terminal on my Ubuntu system here, but there are a bunch of settings under gnome-terminal there.