This question already has an answer here:
I'm trying to install these fonts (https://github.com/supermarin/YosemiteSanFranciscoFont) which in part I have done but I want to change the font for gnome-terminal but the font does not appear in the font list from profile settings...
I tried moving the .ttf files into a few font directories and updating the font cache but I'm still having no luck.
I even tried 'font-manager' and that didn't see the font either.
Any help would be much appreciated!