Ubuntu 15.04だと直っているが、14.04のGNOME Terminalではフォントの一覧で選べない(出てこない)フォントがある。その場合は、次のコマンドで対処できる。
gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string 'Font Name 12'
Font Nameの部分はフォント名に書き換えて、12の部分に好きなサイズを指定する。
Ubuntu 15.04だと直っているが、14.04のGNOME Terminalではフォントの一覧で選べない(出てこない)フォントがある。その場合は、次のコマンドで対処できる。
gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string 'Font Name 12'
Font Nameの部分はフォント名に書き換えて、12の部分に好きなサイズを指定する。