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 movedMonofur for Powerline.ttf
) either with file manager or withmv
command. Note, you will need sudo priviliges for all that2) Delete everything in ~/.gconf/apps/gnome-terminal/
The profile preferences are all stored in
~/.gconf/apps/gnome-terminal/
directory. I basically didsudo 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 workWhatever 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 ingnome-terminal
.Then find the font setting, and change the font name by the one you want.
Apply the settings and you are done.
I solved it using https://superuser.com/questions/1335155/patched-fonts-not-showing-up-on-gnome-terminal link.
On Amazon Linux 2, I did the following,
Installed
gnome-tweaks
sudo yum install gnome-tweaks
Ran
gnome-tweaks
Fonts (sidebar) -> Monospace (select whatever font is needed). This selects the default font.
Close
gnome-tweaks
Open
gnome-terminal
Edit -> preferences -> Profiles (sidebar) -> Text -> Custom font (uncheck it i.e. use the default system wide font)