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 現在も有効