web-dev-qa-db-ja.com

パッチを当てたフォントがgnome-terminalに表示されない

Ubuntu 18.10ボックスに https://github.com/ryanoasis/nerd-fonts#option-3-install-script からパッチされたフォント「Source Code Pro」をインストールしました。

Fontsプログラム（SauceCodeProとして）に表示されているフォントを確認できます。

GNOMEターミナルアプリのフォントとして設定したいのですが（編集->設定->カスタムフォント）、このフォントが表示されません。

Sudo fc-cache -fv ~/.local/share/fontsを実行して、コンピュータを再起動してみました。 gnome-terminalパッケージの再インストールも試みましたが、サイコロはありませんでした。

私がここで何ができるかについて誰かが何か提案はありますか？

ubuntuterminalfontsgnome
5
Tri Nguyen

@egmontの https://askubuntu.com/questions/1046871/nerd-font-not-fond-in-terminal-profile/ へのリンクのおかげで、これを回避する方法を見つけました、その投稿のコメントの1つで言及されているように：

  • GNOME Tweaksをインストールする
  • システムのモノスペースフォントを「SauceCodePro Mono Regular」に設定します
  • ターミナルのフォント設定では、カスタムフォントオプションをオフのままにします、つまりシステムフォントを使用します。
15
Tri Nguyen