hfinger
March 3rd, 2015, 12:40 AM
Back in primordial times I somehow changed the font in Terminal (gnome-terminal) accidentally -- certainly not intentionally. It is now fixated on a 10 pt serif (Roman, Latin) font that is badly spaced so that letters overlap and strange spaces appear within words. Look at the window capture at <https://www.dropbox.com/s/ftjcw5yv6sj1c7h/gnome-terminal-font-problem_2015-03-03%3D14%3A57%3A08.png?dl=0>. Isn't it horrible?
None of the following tweaks worked:
changing the Monospaced font in Unity Tweaks
changing the Monospaced font in Ubuntu Tweaks
changing the Monospaced font using GSettings
changing the font in Terminal: Edit > Profile Preferences > General, either by itself or in combination with the system fonts as settable in the Tweaks and GSettings, and clicking the Using the system fixed width font
deleting ~/.bashrc
in Synaptic, completely removing and then reinstalling gnome-terminal (disappointingly, some other customisations had been preserved!).
I tried Terminal TNG (ttng, Terminal The Next Generation) as an alternative but the Preferences window does not scroll, and does not refresh when you resize it.
):P Drowning not waving ... . Can anybody tell me how to get rid of this maddening font? Or recommend a really good alternative terminal/console emulator?
Regards,
Hedley
None of the following tweaks worked:
changing the Monospaced font in Unity Tweaks
changing the Monospaced font in Ubuntu Tweaks
changing the Monospaced font using GSettings
changing the font in Terminal: Edit > Profile Preferences > General, either by itself or in combination with the system fonts as settable in the Tweaks and GSettings, and clicking the Using the system fixed width font
deleting ~/.bashrc
in Synaptic, completely removing and then reinstalling gnome-terminal (disappointingly, some other customisations had been preserved!).
I tried Terminal TNG (ttng, Terminal The Next Generation) as an alternative but the Preferences window does not scroll, and does not refresh when you resize it.
):P Drowning not waving ... . Can anybody tell me how to get rid of this maddening font? Or recommend a really good alternative terminal/console emulator?
Regards,
Hedley