[Ubuntu 18.04] 端末のフォントの設定

現在、端末(gnome-terminal)のフォントは Ricty を使っています。16.04 や今まで 18.04 を設定していて端末の設定画面から Ricty を選択できたような気がしていたんですが、どうもできていなかったようです(Cica を使っていたのかもしれない)。今回、VMware で新しい環境を構築していて、端末のフォント設定を調べてみました。

以前は gconf で設定していたような気がするんですが、gsettings で設定するように変わっているようです。設定画面でも確認できるのですが、gsettings を使って確認してみます。

$ gsettings get org.gnome.Terminal.ProfilesList default
‘XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX’

この XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX がプロファイルの ID になります。

で書き換えるのは、org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX/font で、以下のような感じで内容を確認(get)できます。

$ gsettings get “org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX/” font
‘Monospace 12’

実際の書き換えは、get が set になり、設定内容を指定した、

$ gsettings set “org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/” font “Ricty 10.5”

になります。これでフォントが Ricty の 10.5pt になりました。

いろいろ検索していると、

gsettings set org.gnome.Terminal.Legacy.Profile:/:1/ font “VL Gothic 9”

のように設定すると書いてあるサイトが多かったので。

コメント

タイトルとURLをコピーしました