gconftool-2
gnome-terminal
を設定するCLI
……なのだが、現在は使えないみたい。
代わりに
gsettings
を用いる
Reference
Ubuntu 18.04 端末のフォントの設定 – Netarium
↑
gsettings
を使うように書いてある記事
gconftool を使って gnome-terminal のフォントを Ricty にする - Qiita
gconftool を使って gnome-terminal のフォントを Ricty にする - Qiita
#2020-12-27
11:20:21