 |
 |
 |
 |
| Using Fedora General support for current versions. Ask questions about Fedora and it's software that do not belong in any other forum. |

18th October 2012, 10:12 PM
|
|
Registered User
|
|
Join Date: Jun 2008
Posts: 68

|
|
|
what font is used in gnome-terminal in f17?
The default font in gnome-terminal in f17 is really great, I'd like to use it in xterm as well. But how do I find out what font it is? Once I know that I can put it in $HOME/.Xdefaults as XTerm*faceName.
Something related: how do I find out the possible choices for XTerm*faceName?
|

18th October 2012, 10:37 PM
|
|
Registered User
|
|
Join Date: May 2011
Posts: 700

|
|
|
Re: what font is used in gnome-terminal in f17?
Quote:
Originally Posted by fetchinson
The default font in gnome-terminal in f17 is really great, I'd like to use it in xterm as well. But how do I find out what font it is? Once I know that I can put it in $HOME/.Xdefaults as XTerm*faceName.
|
I have mine in ~/.Xresources
I suppose in that app in GNOME where you choose your default fonts, you may find out.
I use Droid Sans Mono for mine (I think it's a Google font).
Quote:
Originally Posted by fetchinson
Something related: how do I find out the possible choices for XTerm*faceName?
|
man xterm
|

18th October 2012, 11:08 PM
|
 |
Formerly known as"professorrmd"
|
|
Join Date: Mar 2011
Posts: 2,627

|
|
|
Re: what font is used in gnome-terminal in f17?
Quote:
Originally Posted by fetchinson
The default font in gnome-terminal in f17 is really great, I'd like to use it in xterm as well. But how do I find out what font it is?
|
Edit --> Profile Preferences.
This should tell you the font used. I think it was Monospace. I don't remember what it was because I currently use Monospace italic and forgot what it was originally set to!
|

18th October 2012, 11:57 PM
|
 |
Registered User
|
|
Join Date: Mar 2010
Location: São José dos Campos (Brasil)
Posts: 58

|
|
|
Re: what font is used in gnome-terminal in f17?
Quote:
Originally Posted by fetchinson
The default font in gnome-terminal in f17 is really great, I'd like to use it in xterm as well. But how do I find out what font it is?
|
It is Monospace. I use xterm in this way:
Code:
xterm -bg black -fg white +sb -fa Monospace -fs 11
HTH,
Germán.
|

19th October 2012, 02:02 AM
|
 |
"Registered User" T-Shirt Winner
|
|
Join Date: Mar 2007
Location: Seville, FL
Posts: 5,126

|
|
|
Re: what font is used in gnome-terminal in f17?
Quote:
|
Originally Posted by fetchinson
Something related: how do I find out the possible choices for XTerm*faceName?
|
To list installed ttf fonts in a terminal: fc-list
fc-list is part of the fontconfig package.
Code:
BASH:~/-> fc-list | grep "DejaVu Sans"
DejaVu Sans,DejaVu Sans Condensed:style=Condensed Oblique,Oblique
DejaVu Sans Mono:style=Bold Oblique
DejaVu Sans:style=Bold Oblique
DejaVu Sans:style=Oblique
DejaVu Sans Mono:style=Oblique
DejaVu Sans,DejaVu Sans Condensed:style=Condensed Bold Oblique,Bold Oblique
DejaVu Sans,DejaVu Sans Light:style=ExtraLight
DejaVu Sans,DejaVu Sans Condensed:style=Condensed,Book
DejaVu Sans,DejaVu Sans Condensed:style=Condensed Bold,Bold
DejaVu Sans:style=Bold
DejaVu Sans:style=Book
DejaVu Sans Mono:style=Book
Code:
BASH:~/-> grep face .Xresources
XTerm*faceName: DejaVuSansMono
XTerm*faceSize: 12
|

19th October 2012, 09:09 AM
|
|
Registered User
|
|
Join Date: Jun 2008
Posts: 68

|
|
|
Re: what font is used in gnome-terminal in f17?
Quote:
Originally Posted by nonamedotc
Edit --> Profile Preferences.
This should tell you the font used. I think it was Monospace. I don't remember what it was because I currently use Monospace italic and forgot what it was originally set to! 
|
Thanks a lot, yes, it's monospace 12. But there is a checkbox for bold text, which I also would like to replicate in xterm, how do I do that? I tried
Code:
XTerm*faceName: MonospaceBold
but that didn't do it.
---------- Post added at 01:09 AM ---------- Previous post was at 01:07 AM ----------
Quote:
Originally Posted by PabloTwo
To list installed ttf fonts in a terminal: fc-list
fc-list is part of the fontconfig package.
Code:
BASH:~/-> fc-list | grep "DejaVu Sans"
DejaVu Sans,DejaVu Sans Condensed:style=Condensed Oblique,Oblique
DejaVu Sans Mono:style=Bold Oblique
DejaVu Sans:style=Bold Oblique
DejaVu Sans:style=Oblique
DejaVu Sans Mono:style=Oblique
DejaVu Sans,DejaVu Sans Condensed:style=Condensed Bold Oblique,Bold Oblique
DejaVu Sans,DejaVu Sans Light:style=ExtraLight
DejaVu Sans,DejaVu Sans Condensed:style=Condensed,Book
DejaVu Sans,DejaVu Sans Condensed:style=Condensed Bold,Bold
DejaVu Sans:style=Bold
DejaVu Sans:style=Book
DejaVu Sans Mono:style=Book
Code:
BASH:~/-> grep face .Xresources
XTerm*faceName: DejaVuSansMono
XTerm*faceSize: 12
|
Thanks a lot! It seems one can combine the font name (DejaVu) with its attributes (Sans, Mono) to end up with DejaVuSansMono but when I tried MonospaceBold the font was not bold. How do I get the default font to be bold then? Gnome-terminal is displaying bold (at least relative to xterm it's much bolder).
Actually I made some progress, the following works quite well
Code:
xterm -fs *-monospace-bold-*-normal--*-*-*-*-*-*-*
and the font is identical to the default gnome-terminal. Unfortunately I can't control the font size now.
And how would I give this setting to xterm in .Xdefaults or .Xresources?
This is getting weirder and weirder
It turns out
Code:
xterm -fs blablabla
already gives the nice bold fonts. Clearly blablabla is not a valid value but nevertheless it does have an effect (relative to launching xterm without any parameters). Does anyone know what's going on?
Last edited by fetchinson; 19th October 2012 at 09:27 AM.
|

19th October 2012, 09:58 AM
|
|
Registered User
|
|
Join Date: May 2011
Posts: 700

|
|
|
Re: what font is used in gnome-terminal in f17?
xterm -fs *-monospace-bold-*-normal-*-12-*-*-*-*-*
---------- Post added at 05:58 AM ---------- Previous post was at 05:54 AM ----------
Quote:
Originally Posted by fetchinson
And how would I give this setting to xterm in .Xdefaults or .Xresources?
|
Make sure you leave a blank line as the first line (in ~.Xresources at least).
|

19th October 2012, 02:59 PM
|
 |
"Registered User" T-Shirt Winner
|
|
Join Date: Mar 2007
Location: Seville, FL
Posts: 5,126

|
|
|
Re: what font is used in gnome-terminal in f17?
This worked for me: I don't use bold, I use normal "DejaVu Sans Mono". I modified the faceName line to switch to bold like so:
Code:
XTerm*faceName: DejaVuSansMono:style=Bold
To make any edits to your ~/.Xdefaults or ~/.Xresources file active, you first either need to log out and back into your DE session, or do this:
Code:
xrdb -merge ~/.Xresources
Interestingly, there is no "Monospace" ttf font available in F16 except as provided by the cups package, which puts it's fonts in /usr/share/cups/fonts/, which doesn't appear in the fc-list list.
Last edited by PabloTwo; 19th October 2012 at 03:02 PM.
|

19th October 2012, 03:21 PM
|
|
Registered User
|
|
Join Date: Jun 2008
Posts: 68

|
|
|
Re: what font is used in gnome-terminal in f17?
Quote:
Originally Posted by PabloTwo
This worked for me: I don't use bold, I use normal "DejaVu Sans Mono". I modified the faceName line to switch to bold like so:
Code:
XTerm*faceName: DejaVuSansMono:style=Bold
|
Great, thanks a lot!
|

19th October 2012, 07:54 PM
|
|
Registered User
|
|
Join Date: Jul 2008
Posts: 809

|
|
|
Re: what font is used in gnome-terminal in f17?
Quote:
Originally Posted by PabloTwo
Interestingly, there is no "Monospace" ttf font available in F16 except as provided by the cups package, which puts it's fonts in /usr/share/cups/fonts/, which doesn't appear in the fc-list list.
|
"Monospace" is just an alias, like "Sans" and "Serif".
I believe Fedora gives the DejaVu fonts lower rule numbers than other
packaged fonts, so they tend to be the system defaults if they are installed.
I don't have extensive experience in their font configs though so I may be
wrong about that.
|
| Thread Tools |
Search this Thread |
|
|
|
| Display Modes |
Linear Mode
|
Posting Rules
|
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
HTML code is Off
|
|
|
Current GMT-time: 04:05 (Friday, 24-05-2013)
|
|
 |
 |
 |
 |
|
|