たとえば、Devhelpをインストールしています。ソースコードによると、Devhelpはorg.gnome.devhelp.fonts
というgsettingsIDを作成します。Devhelpの実行中にorg.gnome.devhelp.fonts
の値を読み取ることができるかどうか知りたいのですが。
(私のシステムでは、キーorg.gnome.devhelp.fonts
は、たとえばgsettings list-recursively
の結果にリストされないことに注意してください。)
私は気にしません。最近、キーがgconftool-2
経由でアクセスできることに気づきました( 1 ):
$ gconftool-2 --all-entries /apps/devhelp/ui
fixed_font = Inconsolata 12
use_system_fonts = false
variable_font = Ubuntu 12
これまで(Ubuntu 13.04)、Devhelpの開発者はGSettingsを完全に採用していなかったと思います。