gconftool を使って gnome-terminal のフォントを Ricty にする

gnome-terminal 上で Ricty は GUI から設定できない

理由はよく分からないけど，Ricty をPC上にインストールしても gnome-terminal では何故か設定ができない．

ターミナルからCLIで設定する事はできるのだけど，一回設定すると基本使う事はないので毎回忘れて毎回調べる事になっている...

んだもんで，さすがにアホくさいのでメモしておく．

gconftool-2 を使う

cli上でのコマンドは以下の通り

$ gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ricty Regular 12"

まぁ見た通り，

• /apps/gnome-terminal/profiles/Default/font の値に set
• set する値の type は string で，内容は "Ricty Regular 12"

って指定になる．最後の "12" はフォントサイズを差している．

その設定はいずこに？

/apps/gnome-terminal/profiles/....
なんて書き方してる辺りで「これはどっかにディレクトリがあるのか？」という疑問が湧いたけど，
/のディレクトリにappsなんて名前のディレクトリはもちろん無い．
って事で自分のホームディレクトリを ls -al で調べた所

.gconf フォルダを発見

# 一部表示を省いています
$ ls -alF ~
...略...
drwx------ da0shi .gconf/
...略...

って感じのフォルダを発見．
中を覗いてみると apps フォルダが．さらにその中に gnome-terminal も発見．

...という事は？

$ ls -R ~/.gconf/apps/gnome-terminal
.gconf/apps/gnome-terminal/:
%gconf.xml  profiles/

.gconf/apps/gnome-terminal/profiles:
%gconf.xml  Default/

.gconf/apps/gnome-terminal/profiles/Default:
%gconf.xml

おお! あった!
ただ，設定したのは /apps/gnome-terminal/profiles/Default/font なのだけど，%gconf.xmlしか見当らない．
って事で%gconf.xmlの中を覗くと

<?xml version="1.0"?>
<gconf>
    <entry name="font" mtime="***" type="string">
        <stringvalue>Ricty Regular 12</stringvalue>
    </entry>
    <entry> <!--...略...--> </entry>
    <!--...略...-->
</gconf>

との設定を発見．
なるほど，さっきのコマンドでここにデータを追加してたのね...

mtime の所に unix 時刻 で「いつ設定されたか」の記録もしているので，変に手動で弄らない方が良いとは思うけど，
どこで設定しているのかが分かってスッキリ!