I installed Hack Regular Nerd Font Complete by downloading the .ttf file here. I opened the .ttf file directly and clicked "install", and it told me that the font was installed. However, I cannot find it in my terminal profile, and consequently my powerlevel9k works not well with those icons. How can I fix the problem?
I use Gnome-Terminal on Ubuntu 18.04 LTS.
GNOME Terminal's Preferences window (as of version 3.28, shipped by Ubuntu 18.04) only offers you monospace fonts. It might need further investigation why your particular font is not believed to be monospace.
You can set any font using
dconf
(e.g. indconf-editor
), under/org/gnome/terminal/legacy/profiles:/:<profile-id>/font
.