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 時刻 で「いつ設定されたか」の記録もしているので,変に手動で弄らない方が良いとは思うけど,
どこで設定しているのかが分かってスッキリ!