konsole フォントとフォントサイズ

KDEの端末エミュレータ Konsoleのフォントとフォントサイズを変更する。

環境
$ uname -a
Linux debian 4.18.0-0.bpo.1-amd64 #1 SMP Debian 4.18.6-1~bpo9+1 (2018-09-13) x86_64 GNU/Linux
$ plasmashell --version
plasmashell 5.8.6
$ konsole --version
konsole 16.12.0

konsoleの [設定]→[現在のプロファイルを編集] や [プロファイルの管理]・・・から新しいプロファイル(名前は何でもいい)を作って、[プロファイル <resource>任意</resource>を編集---Konsole]の[外観]タブで、フォント、フォントサイズを設定する。

設定ファイルは ~/.local/share/konsole/任意.profile に置かれる。
ubuntuでは ~/.kde/share/apps/konsole/下 らしい。