そのため、まず、/ 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ファイルの編集に制限されますが、おそらく、競合しないオプションは失敗します。