そのため、まず、/ etc / fonts / conf.avail / 99-konsole.confファイルを次のように修正する必要があります。
<?xml version = "1.0"?>
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
<fontconfig>
<dir> / usr / share / apps / konsole / fonts </ dir>
<selectfont>
<acceptfont>
<パターン>
<patelt name = "family">
<string>修正済み</ string>
</ patelt>
</パターン>
</ acceptfont>
</ selectfont>
</ fontconfig>
次に、固定フォントをインストールし、xorg.confにパスを追加します(デフォルトのフォント、たとえば〜/ .fontsを除く)。
Debianパッケージから適切なものが見つからなかったことは認めます。そのため、Ghentリポジトリから「 media-fonts / font-misc-misc 」と「 media-fonts / font-sony-misc 」を単純にマージし、解凍して〜/フォルダーに入れました。フォント。 mkfontdirコマンドでfonts.dirファイルを作成することを忘れないでください。
フォントキャッシュ(fc-cache -f -v)を更新するだけで、最適なものを選択して、 konsole Fixedの設定でさまざまな種類とサイズのフォントを選択できます。
追加の* -misc- *パッケージなしで実行でき、/ etc / fonts / conf.avail / 99-konsole.confファイルの編集に制限されますが、おそらく、競合しないオプションは失敗します。