Commands I've tried:

• sudo updatedb
• sudo fc-cache -fv
• sudo reboot

Dispite this I was unable to make Monofur font to display as available for the Gnome Terminal in a machine with Ubuntu 14.10 recently installed. It's available in all other apps.

I have other machine with 14.04 where this went fine.

I'm not sure whether this is related with a problem when I installed the font for the first time and the font manager got stuck when installing that I had to reboot. Afterwards I've removed the font from the system and reinstalled it without problems.

It's in ~/.local/share/fonts.

fc-list lists this font. File permissions are OK.

UPDATE

Upgraded to last Ubuntu, issue vanished.

Having installed the font, it didn't show right away for me either. Here's the steps I took to make it show up:

1) Move the font to /usr/share/fonts/truetype` directory:

Create a directory /usr/share/fonts/truetype/Monofur/ and move the font files (in my case, I only moved Monofur for Powerline.ttf) either with file manager or with mv command. Note, you will need sudo priviliges for all that

2) Delete everything in ~/.gconf/apps/gnome-terminal/

The profile preferences are all stored in ~/.gconf/apps/gnome-terminal/ directory. I basically did sudo rm -r ~/.gconf/apps/gnome-terminal/

3) Close and reopen gnome-terminal

Self- explanatory.

Suggestions:

For good measure, try doing updatedb after deleting everything or after reopening gnome-terminal; try rebooting if it still doesn't work

Whatever I did I couldn't get my fonts to show up. I got at a point where I tried switching random options, and when I switched "Allow bold text" off and back on all the fonts showed up. Don't ask me why but it worked for me.

First see if the font is available in system by using fc-list | grep font-name.

Now copy the font name correctly from the result of above command e.g.

/usr/share/fonts/TTF/MonofurNerd/monofur Nerd Font Complete.ttf: Monofur Nerd Font:style=Book.

For this font name is Monofur Nerd Font which comes after .ttf:.

Now open dconf-editor GUI version. Now navigate to the font setting of gnome-terminal. /org/gnome/terminal/legacy/profiles:/:some-id/

Here :some-id is a long set of characters which refer to your profiles in gnome-terminal.

Then find the font setting, and change the font name by the one you want.

Apply the settings and you are done.