Review your favorite Linux distribution.
Go Back > Forums > Linux Forums > Linux - Newbie
User Name
Linux - Newbie This Linux forum is for members that are new to Linux.
Just starting out and have a question? If it is not in the man pages or the how-to's this is the place!


  Search this Thread
Old 09-10-2010, 09:12 AM   #1
LQ Newbie
Registered: Sep 2010
Distribution: openSuse 11.3
Posts: 5

Rep: Reputation: 0
Bash font size

Hello all,

I changed the terminal background and when I went back to the bash shell (CTRL+SHIFT+F6) the fonts had changed to a massive size.

How did that change occur and can I change the fonts to their normal font size?


Old 09-10-2010, 09:46 AM   #2
Registered: Sep 2010
Location: Philly
Distribution: OpenSuse
Posts: 67

Rep: Reputation: 3
Which distribution are you using?

In Ubuntu 10.04, in a terminal window, you click Edit->Profile Preferences->Check/Uncheck "Use system fixed width font". That should fix it.
Old 09-10-2010, 10:00 AM   #3
LQ Newbie
Registered: Sep 2010
Distribution: openSuse 11.3
Posts: 5

Original Poster
Rep: Reputation: 0
Hi schachwizard,

I'm using Linux Mint. That changes the font of the Terminal but not the actual console (I think that's what the full-screen is called - when you press CTRL+ALT+F1 to F6).

Old 09-10-2010, 05:06 PM   #4
LQ 5k Club
Registered: Sep 2009
Posts: 6,443
Blog Entries: 3

Rep: Reputation: 721Reputation: 721Reputation: 721Reputation: 721Reputation: 721Reputation: 721Reputation: 721
Note that the font size is chosen by your terminal app, and has nothing to do with bash.


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off

Similar Threads
Thread Thread Starter Forum Replies Last Post
Emacs - changing default font size and font type? neilcpp Linux - Software 16 05-20-2013 12:29 PM
How to change font color and font size in terminal ? wlaw Linux - Newbie 3 05-15-2007 09:57 PM
change bash shell font size anirudh.iitm Linux - Newbie 6 08-07-2006 07:58 PM
web page, font and font size linuxzouk Programming 4 06-19-2004 11:03 PM
font size happy hippo Linux - Newbie 0 10-18-2001 05:23 AM > Forums > Linux Forums > Linux - Newbie

All times are GMT -5. The time now is 11:47 AM.

Main Menu
Write for LQ is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Facebook: linuxquestions Google+: linuxquestions
Open Source Consulting | Domain Registration