Ubuntu14.04 の gnome-terminal のフォントを変更したいんだけど
「編集」メニュー→「プロファイルの設定」メニュー→「全般」タブにある「フォント(F):」の
プルダウンメニューにインストールしたはずのフォントが出てこない。
fc-list コマンド実行ではインストールされているフォントが確認できる。
ん〜。
ここに載っていた方法を参考にフォント設定を変更する。
Ricty for Powerlineフォントにしたい場合は以下のコマンドで。
gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
gconftool-2 --set --type string /apps/gnome-terminal/profiles/Default/font "Ricty for Powerline 11"
- まずは --get オプションで現在設定されているフォントを確認。ついでに書き換えるデータベースのパスがあっているかも確認できる。
- GUIの設定画面の「フォント(F):」項目と一致しているはず。 値がないとか返されたらパスの指定が間違ってるっぽい。
- おkだったら--getオプションを--setオプションに変更して必須となる--typeオプションでstringを指定する。 詳しくは--help-allで確認できる。 そんで最後に指定したいフォントを渡してあげる。
フォント指定には fc-list で取得できる値を指定する。
[ フォントファイルパス: フォント名:スタイル ]
このフォーマットで出力されているので、「 フォント名[スペース]サイズ 」で指定する。
VLゴシックをサイズ10で使いたいならば「 VL ゴシック 10 」になる。