@Chris. Yes, the bug is that gnome-terminal, and I supposed other fonconfig-based apps in Gnome3(?), don't allow the selection of the correct font. My workaround is to run Mate, which works the way it's supposed to for all applications.
-- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1014385 Title: Can't select misc-fixed-semicondensed aka 6x13 font Status in “gnome-terminal” package in Ubuntu: Confirmed Bug description: When I change to 70-yes-bitmaps-fonts and update, I still can't chose the correct font in gnome terminal. "Fixed" shows up, but I get the "normal" typeface instead of the semicondensed that I desire. There's no way to select that particular weight (only bold aso). As I live in the terminal and find it well nigh unusable without 6x13, this is a bit of a dealbreaker. ProblemType: Bug DistroRelease: Ubuntu 12.04 Package: gnome-terminal 3.4.1.1-0ubuntu1 ProcVersionSignature: Ubuntu 3.2.0-25.40-generic 3.2.18 Uname: Linux 3.2.0-25-generic x86_64 ApportVersion: 2.0.1-0ubuntu8 Architecture: amd64 Date: Sun Jun 17 20:41:26 2012 InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Release amd64 (20120425) ProcEnviron: TERM=xterm PATH=(custom, user) LANG=en_US.UTF-8 SHELL=/bin/bash LC_PAPER=en_GB.UTF-8 SourcePackage: gnome-terminal UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1014385/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
