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