質問: パッチを当てたフォントが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パッケージの再インストールも試みましたが、サイコロはありませんでした。私がここで何ができるかについて誰かが何か提案はありますか?
回答: @egmontの https://askubuntu.com/questions/1046871/nerd-font-not-fond-in-terminal-profile/ へのリンクのおかげで、これを回避する方法を見つけました、その投稿のコメントの1つで言及されているように: gnome tweaksをインストールする システムのモノスペースフォントを「saucecodepro mono regular」に設定します ターミナルのフォント設定では、カスタムフォントオプションをオフのままにします、つまりシステムフォントを使用します。