gnome-terminalにインストールされているフォントを使用できません
Ubuntu 18.04を新規インストールしました。 gnome-terminalでPowerline/Nerd Fontsを使用できません。フォントのリストには表示されません（ただし、フォントはインストールされており、FirefoxおよびTilixのメニューに表示されます）。
フォントキャッシュを更新し、フォントの権限を変更しようとしました（chmod-ing）。役に立たない。 17.10で正常に動作するために使用されます。これは、18.04へのアップグレード後に壊れました。
Gnomeターミナルで別のフォントを使用する1つの方法は、システム全体の等幅フォントを変更することです。これを行うには、Gnome Tweak Toolを使用し、ターミナルでSudo apt install gnome-Tweak-toolを実行してインストールします。
スクリーンショットを参照してください： Gnome Tweak Toolで選択されたFiraCode