12
Help us understand the problem. What are the problem?

More than 1 year has passed since last update.

posted at

updated at

Gnome Terminalのフォントを変更する方法

Ubuntu20.04でも確認済み

Ubuntu18.04のGnome Terminalのデフォルト以外のフォントを選択する方法です。
ネットの情報は古かったり、動かなかったりするので自分の備忘録を兼ねてメモしておく。
Cicaフォント(おすすめ)を設定します。
https://github.com/miiton/Cica

UUID=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:${UUID}/ font "Cica 15"
  • gsettings get org.gnome.Terminal.ProfilesList default のdefaultがプロファイル名。
  • gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:${UUID}/ font "Cica 15" がフォント名。

Boldの場合はこちら

UUID=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')
    gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:${UUID}/ font "Cica Bold 15"
  • 2019/10/19 現在も有効
Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
12
Help us understand the problem. What are the problem?