Linuxの小ネタ

konsoleのフォントを変える

ソフトウェア	バージョン
Debian	stretch (2016.3.21時点)

GUIからは等角フォントしか選べないので、設定ファイルを直接変える

• ~/.local/share/konsole/Shell.profile

Font=(フォント名),12,-1,7,50,0,0,0,0,0

みたいな感じ。 フォント名だけ書き換えれば良い。 2つめの項目がフォントサイズ。

フォント名は、KDEのフォント設定とかで確認できる。