I’m trying to install a font to make it my default terminal font. I tried double clicking the downloaded file, which opens the font app, and then clicking the install button. Then I go to the terminal app, select preferences, then check the box for using a custom font to select the font.
This is where things get funky.
At first, the sample text shows a different font (Cousine as it seems), not the one I actually selected. The app doesn’t prevent me from clicking ok which I proceed to do. To no avail. Terminal now shows a completely different font.
If I try the Zorin Appearance app, I can select a default monospaced font. Now something odd happens. I select the desired font, confirm and re-open the Appearance app. Now it falls back to Cousine.
Apparently the font is correctly installed. Maybe it’s some permission issue, but I find it funny that no error message whatsoever is displayed.
Thanks in advance.