Ubuntu 14.04 の GNOME Terminal でフォントを設定する

Ubuntu 15.04だと直っているが、14.04のGNOME Terminalではフォントの一覧で選べない(出てこない)フォントがある。その場合は、次のコマンドで対処できる。

gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string 'Font Name 12'

Font Nameの部分はフォント名に書き換えて、12の部分に好きなサイズを指定する。

コメントを残す

メールアドレスが公開されることはありません。

*