GNOME Terminal, by design, only shows you fonts that are marked as monospace (a.k.a. fixed width). Terminal emulation, by its very nature, uses a strict grid of cells, and proportional (non-monospace) fonts are usually unusable, or extremely ugly at least.
If the said font is a monospace one, but isn't marked as such, please get in touch with its developers to mark it accordingly. Until then, as a workaround, you can open dconf-editor, navigate to /org/gnome/terminal/legacy/profiles: followed by the profile ID, and under its "font" entry you can set whatever font you wish to use in GNOME Terminal, including proportional ones. There's also a command line equivalent to this operation using the dconf or gsettings command, should you need to automate the task. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/2078568 Title: gnome-terminal dont recognize all fonts that are installed To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/2078568/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
