Acabei de receber uma nova instalação do Ubuntu 18.04. Não é possível usar fontes Powerline / Nerd no gnome-terminal. Eles não aparecem na lista de fontes (no entanto, as fontes são instaladas e aparecem nos menus do Firefox e do Tilix).
Atualizei o cache de fontes e também tentei alterar as permissões da fonte (chmod-it). Sem uso. Usado para funcionar bem em 17.10. Isso quebrou após a atualização para 18,04
Uma forma de fazer com que o Gnome Terminal use uma fonte diferente é alterar a fonte monoespaçada do sistema. Você pode fazer isso com a ferramenta Gnome Tweak, instale executando sudo apt install gnome-tweak-tool no terminal.
Veja a captura de tela: FiraCode selecionado na ferramenta Gnome Tweak
