<html> <head> <meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"> </head> <body bgcolor="#FFFFFF" text="#000000"> <div class="moz-cite-prefix">On 01/29/2014 01:53 AM, Marius Gedminas wrote: </div> <blockquote cite="mid:20140129085327.GA29141@fridge.pov.lt" type="cite"> <pre wrap="">On Tue, Jan 28, 2014 at 09:05:45PM -0700, Art Edwards wrote: </pre> <blockquote type="cite"> <pre wrap="">I just upgraded my system to 13.04, </pre> </blockquote> <pre wrap=""> 13.04 just lost support a couple of days ago. You'd better upgrade to 13.10 soon. </pre> <blockquote type="cite"> <pre wrap="">but afterwards, the fonts in the gnome-terminal are proportional and ugly. In the gnome-tweak-tool, the system thinks I am using the ubuntu, and ubuntu mono fonts, but that's not what I'm seeing. I should say that during the unattended update, my disk space in /var was /very/ low, so I may be missing some packages, although apt-get -f install and apt-get dist-upgrade both yield 0 packages to be installed. Any insight would be appreciated. </pre> </blockquote> <pre wrap=""> 1. Check gnome-terminal's preferences about the font. If the "Use System Font" checkbox is checked, then gnome-tweak-tool already told you you were using Ubuntu Mono, but if it's not checked, you might be getting some other font. 2. Check what font file is matched to that font: in a terminal run $ fc-match "Ubuntu Mono" I get UbuntuMono-R.ttf: "Ubuntu Mono" "Regular" which feels right. 3. Maybe run fc-cache -f -v to force rebuilding of font caches? Maybe run debsums to see if the installed font packages are not corrupt? Marius Gedminas </pre> <fieldset class="mimeAttachmentHeader"></fieldset> </blockquote> Thanks for the response, and for for the recommendation on 13.04. When I ran fc-match "Ubuntu-Mono" I got Ubuntu-M.ttf: "Ubuntu" "Medium" which is a little different. I also rebuilt the font-caches, but it seems that I'm getting the same font. Art Edwards </body> </html>