Gentoo Forums
Gentoo Forums
Gentoo Forums
Quick Search: in
Changing font of terminal in XFCE
View unanswered posts
View posts from last 24 hours
View posts from last 7 days

 
Reply to topic    Gentoo Forums Forum Index Desktop Environments
View previous topic :: View next topic  
Author Message
Yonatan
n00b
n00b


Joined: 08 Mar 2004
Posts: 31

PostPosted: Tue Apr 19, 2005 1:40 pm    Post subject: Changing font of terminal in XFCE Reply with quote

Can anyone suggest how to change to font in the terminal used by XFCE (e.g. right click, terminal)? The font is very small...but it the terminal doesn't have any menus like the terminals used by GNOME or KDE that would allow me to change the font.
Back to top
View user's profile Send private message
jamesdick628
Apprentice
Apprentice


Joined: 14 Oct 2004
Posts: 158
Location: Worcester, MA

PostPosted: Tue Apr 19, 2005 3:44 pm    Post subject: Reply with quote

The Terminal menu item in xfce4 runs the command xfterm4. If you look at it (with your favorite text editor of course) it's just a shell script that launches one of several terminals, such as xterm. I'm not really sure what the point of this is but that's what it does. If you're using xterm, or aterm, or whatever, you can use ~/.Xdefaults to set the font and various other options. Here's my .Xdefaults file
Code:

XTerm*jumpScroll:       true
XTerm*multiScroll:      true
XTerm*colorBD:          white
XTerm*underLine:        true
XTerm*colorUL:          #1FA638
XTerm*colorULMode:      true
XTerm*highlightColor:           LightSkyBlue
XTerm*scrollBar:                false
XTerm*rightScrollBar:           true
XTerm*loginShell:               true
XTerm*saveLines:                15000
XTerm*locale:           true
XTerm*font:             -*-bitstream vera sans mono-medium-r-*-*-*-120-*-*-*-*-*-*
XTerm*foreground:       white
XTerm*background:       black


I'm pretty sure I was lazy and just stole it from another post, but that gives you some of the basics. I changed the font to bitstream vera sans mono. You can change it to whatever you like. Try reading the man page for whatever terminal you are using to see what other options there are.
Back to top
View user's profile Send private message
Yonatan
n00b
n00b


Joined: 08 Mar 2004
Posts: 31

PostPosted: Tue Apr 19, 2005 6:01 pm    Post subject: Reply with quote

thanks for the tip!
Back to top
View user's profile Send private message
Display posts from previous:   
Reply to topic    Gentoo Forums Forum Index Desktop Environments All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum