Sfdwhf

Binary Numbers Magic Trick

Are Boeing 737-800’s grounded?

Stop and Take a Breath!

What do the phrase "Reeyan's seacrest" and the word "fraggle" mean in a sketch?

Does Gita support doctrine of eternal cycle of birth and death for evil people?

Error message with tabularx

What happened to Captain America in Endgame?

How can I practically buy stocks?

How do I reattach a shelf to the wall when it ripped out of the wall?

Is there a way to get a compiler for the original B programming language?

Packing rectangles: Does rotation ever help?

How exactly does Hawking radiation decrease the mass of black holes?

Why was Germany not as successful as other Europeans in establishing overseas colonies?

Noun clause (singular all the time?)

A ​Note ​on ​N!

Is there really no use for MD5 anymore?

What language was spoken in East Asia before Proto-Turkic?

Controversial area of mathematics

French for 'It must be my imagination'?

Phrase for the opposite of "foolproof"

Document starts having heaps of errors in the middle, but the code doesn't have any problems in it

How do I deal with a coworker that keeps asking to make small superficial changes to a report, and it is seriously triggering my anxiety?

What was the first Intel x86 processor with "Base + Index * Scale + Displacement" addressing mode?

Do I have an "anti-research" personality?

Is it possible to change the Terminal font?

What is the default Debian/Ubuntu console (TTY) font called?Terminal text garbledXmonad changes font in terminalIs it possible to use a font in the terminal that isn't monospaceHow can I change the font of a pdf file?How can I change gnome terminal font in command line?Shortcut to change the gnome-terminal font sizeChange default system font using terminal only in 14.04How to locate font files given the font family name?Make Roboto the default fontHow do I change terminal font on Ubuntu MATE?How to change the font size in terminal from terminal without the use of a mouse

.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ margin-bottom:0;
}

47

13

I would like to change the font in the Terminal, how can I achieve this?

command-line fonts

share|improve this question

edited Nov 4 '13 at 7:08

Flyk

1,38931624

asked Jun 30 '12 at 5:04

Fawkes5Fawkes5

1,03941628

• 
  
  
  

  
  2
  

  
  
  
  
  
  

  
  
  Which terminal? Is Sublime text 2 installed on your system?
  
  – Marty Fried
  Jun 30 '12 at 5:05
  
  
  

  
  
  
  


• 
  
  
  

  
  2
  

  
  
  
  
  
  

  
  
  and Which font?-
  
  – Anwar
  Jun 30 '12 at 5:09
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Sublime text 2 is installed. The font i am interested in is the default font sublime installs with. Can't find the name of it
  
  – Fawkes5
  Jun 30 '12 at 5:22
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  
  See also What is the default Debian/Ubuntu console (TTY) font called? and 7 Of The Best Ubuntu Terminal (Fixed Width) Fonts
  
  – Hans Ginzel
  Apr 11 '16 at 5:28
  
  
  

  
  
  
  

add a comment | 

47

13

I would like to change the font in the Terminal, how can I achieve this?

command-line fonts

share|improve this question

edited Nov 4 '13 at 7:08

Flyk

1,38931624

asked Jun 30 '12 at 5:04

Fawkes5Fawkes5

1,03941628

• 
  
  
  

  
  2
  

  
  
  
  
  
  

  
  
  Which terminal? Is Sublime text 2 installed on your system?
  
  – Marty Fried
  Jun 30 '12 at 5:05
  
  
  

  
  
  
  


• 
  
  
  

  
  2
  

  
  
  
  
  
  

  
  
  and Which font?-
  
  – Anwar
  Jun 30 '12 at 5:09
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Sublime text 2 is installed. The font i am interested in is the default font sublime installs with. Can't find the name of it
  
  – Fawkes5
  Jun 30 '12 at 5:22
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  
  See also What is the default Debian/Ubuntu console (TTY) font called? and 7 Of The Best Ubuntu Terminal (Fixed Width) Fonts
  
  – Hans Ginzel
  Apr 11 '16 at 5:28
  
  
  

  
  
  
  

add a comment | 

I would like to change the font in the Terminal, how can I achieve this?

command-line fonts

share|improve this question

edited Nov 4 '13 at 7:08

Flyk

1,38931624

asked Jun 30 '12 at 5:04

Fawkes5Fawkes5

1,03941628

share|improve this question

edited Nov 4 '13 at 7:08

Flyk

1,38931624

asked Jun 30 '12 at 5:04

Fawkes5Fawkes5

1,03941628

share|improve this question

edited Nov 4 '13 at 7:08

Flyk

1,38931624

asked Jun 30 '12 at 5:04

Fawkes5Fawkes5

1,03941628

edited Nov 4 '13 at 7:08

Flyk

1,38931624

edited Nov 4 '13 at 7:08

Flyk

1,38931624

asked Jun 30 '12 at 5:04

Fawkes5Fawkes5

1,03941628

asked Jun 30 '12 at 5:04

Fawkes5Fawkes5

1,03941628

3 Answers
3

active

oldest

votes

42

Bash terminal:

Menu, Edit => Profile Preferences => General tab; uncheck Use the system fixed width font, and select the font you want.

For general xterm terminal, you need to create a file ~/.Xresources, and add settings to it, such as xterm*font: Sublime Text 2-12 for 12 point (this is a guess, I don't know if it's totally correct).

share|improve this answer

edited Jul 21 '12 at 16:07

Anwar

57.8k22149257

answered Jun 30 '12 at 5:14

Marty FriedMarty Fried

13.9k53947

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  My gnome-terminal crashes when I uncheck the 'use the system fixed width font' checkbox. Is there a way to modify or clear this setting without going through this GUI?
  
  – Jonathan Hartley
  Jun 18 '13 at 20:36
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  There isn't a menu named "Edit" in Ubuntu 18.04 or Ubuntu 18.04. Perhaps update your answer to also cover newer versions of Ubuntu?
  
  – Peter Mortensen
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Or at least mark it, e.g. "For Ubuntu 9 through Ubuntu 16.04:" or similar (I made up the version range in this example).
  
  – Peter Mortensen
  yesterday
  

  
  
  
  

add a comment | 

29

Though you did not mention what font you are using or what terminal you are referring, I am giving a general answer to change font in gnome-terminal.

I am giving two ways to do this, though both are relatively close to each other

Formal way

• Open the terminal with pressing Ctrl + Alt + T.


• Then go from menu Edit → Profiles. On the profile edit window, click on the Edit button.


• Then in the General tab, uncheck Use the system fixed width font, and then select your desired font from dropdown menu

Easier way

• Open the terminal with pressing Ctrl + Alt + T.


• Right click on the terminal, from the appeared popup menu, go to Profiles → Profile Preferences
  


• Then in the General Tab, uncheck Use the system fixed width font, and then select your desired font from dropdown menu.

I am giving two screenshots below:

share|improve this answer

edited 14 hours ago

Peter Mortensen

1,03221016

answered Jun 30 '12 at 5:13

AnwarAnwar

57.8k22149257

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  
  oh wow, i didnt know it was so easy. THANK YOU!!!
  
  – Fawkes5
  Jun 30 '12 at 5:16
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  As far as I can see, "Profiles" are in "Preferences" in Ubuntu 18.04 or Ubuntu 18.04. Perhaps update your answer to also cover newer versions of Ubuntu?
  
  – Peter Mortensen
  yesterday
  

  
  
  
  

add a comment | 

1

For Ubuntu 17.04 with GNOME Terminal 3.20.2, the options are a bit different. From the menu, go to Edit -> Profile Preferences -> General tab. In the Text Appearance section, select the Custom font option, click on the selected font, and then reduce the font size number at the bottom of the new window.

share|improve this answer

answered Sep 13 '17 at 12:31

patrickvacekpatrickvacek

482611

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Yep, I use a dark theme and low brightness so the checkbox is nearly invisible
  
  – qwr
  Aug 29 '18 at 3:54
  

  
  
  
  

add a comment | 

Your Answer

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "89"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f157873%2fis-it-possible-to-change-the-terminal-font%23new-answer', 'question_page');
}
);

Post as a guest

Name

Email

Required, but never shown

42

Bash terminal:

Menu, Edit => Profile Preferences => General tab; uncheck Use the system fixed width font, and select the font you want.

For general xterm terminal, you need to create a file ~/.Xresources, and add settings to it, such as xterm*font: Sublime Text 2-12 for 12 point (this is a guess, I don't know if it's totally correct).

share|improve this answer

edited Jul 21 '12 at 16:07

Anwar

57.8k22149257

answered Jun 30 '12 at 5:14

Marty FriedMarty Fried

13.9k53947

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  My gnome-terminal crashes when I uncheck the 'use the system fixed width font' checkbox. Is there a way to modify or clear this setting without going through this GUI?
  
  – Jonathan Hartley
  Jun 18 '13 at 20:36
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  There isn't a menu named "Edit" in Ubuntu 18.04 or Ubuntu 18.04. Perhaps update your answer to also cover newer versions of Ubuntu?
  
  – Peter Mortensen
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Or at least mark it, e.g. "For Ubuntu 9 through Ubuntu 16.04:" or similar (I made up the version range in this example).
  
  – Peter Mortensen
  yesterday
  

  
  
  
  

add a comment | 

42

Bash terminal:

Menu, Edit => Profile Preferences => General tab; uncheck Use the system fixed width font, and select the font you want.

For general xterm terminal, you need to create a file ~/.Xresources, and add settings to it, such as xterm*font: Sublime Text 2-12 for 12 point (this is a guess, I don't know if it's totally correct).

share|improve this answer

edited Jul 21 '12 at 16:07

Anwar

57.8k22149257

answered Jun 30 '12 at 5:14

Marty FriedMarty Fried

13.9k53947

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  My gnome-terminal crashes when I uncheck the 'use the system fixed width font' checkbox. Is there a way to modify or clear this setting without going through this GUI?
  
  – Jonathan Hartley
  Jun 18 '13 at 20:36
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  There isn't a menu named "Edit" in Ubuntu 18.04 or Ubuntu 18.04. Perhaps update your answer to also cover newer versions of Ubuntu?
  
  – Peter Mortensen
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Or at least mark it, e.g. "For Ubuntu 9 through Ubuntu 16.04:" or similar (I made up the version range in this example).
  
  – Peter Mortensen
  yesterday
  

  
  
  
  

add a comment | 

Bash terminal:

Menu, Edit => Profile Preferences => General tab; uncheck Use the system fixed width font, and select the font you want.

For general xterm terminal, you need to create a file ~/.Xresources, and add settings to it, such as xterm*font: Sublime Text 2-12 for 12 point (this is a guess, I don't know if it's totally correct).

share|improve this answer

edited Jul 21 '12 at 16:07

Anwar

57.8k22149257

answered Jun 30 '12 at 5:14

Marty FriedMarty Fried

13.9k53947

share|improve this answer

edited Jul 21 '12 at 16:07

Anwar

57.8k22149257

answered Jun 30 '12 at 5:14

Marty FriedMarty Fried

13.9k53947

edited Jul 21 '12 at 16:07

Anwar

57.8k22149257

edited Jul 21 '12 at 16:07

Anwar

57.8k22149257

answered Jun 30 '12 at 5:14

Marty FriedMarty Fried

13.9k53947

answered Jun 30 '12 at 5:14

Marty FriedMarty Fried

13.9k53947

29

Though you did not mention what font you are using or what terminal you are referring, I am giving a general answer to change font in gnome-terminal.

I am giving two ways to do this, though both are relatively close to each other

Formal way

• Open the terminal with pressing Ctrl + Alt + T.


• Then go from menu Edit → Profiles. On the profile edit window, click on the Edit button.


• Then in the General tab, uncheck Use the system fixed width font, and then select your desired font from dropdown menu

Easier way

• Open the terminal with pressing Ctrl + Alt + T.


• Right click on the terminal, from the appeared popup menu, go to Profiles → Profile Preferences
  


• Then in the General Tab, uncheck Use the system fixed width font, and then select your desired font from dropdown menu.

I am giving two screenshots below:

share|improve this answer

edited 14 hours ago

Peter Mortensen

1,03221016

answered Jun 30 '12 at 5:13

AnwarAnwar

57.8k22149257

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  
  oh wow, i didnt know it was so easy. THANK YOU!!!
  
  – Fawkes5
  Jun 30 '12 at 5:16
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  As far as I can see, "Profiles" are in "Preferences" in Ubuntu 18.04 or Ubuntu 18.04. Perhaps update your answer to also cover newer versions of Ubuntu?
  
  – Peter Mortensen
  yesterday
  

  
  
  
  

add a comment | 

29

Though you did not mention what font you are using or what terminal you are referring, I am giving a general answer to change font in gnome-terminal.

I am giving two ways to do this, though both are relatively close to each other

Formal way

• Open the terminal with pressing Ctrl + Alt + T.


• Then go from menu Edit → Profiles. On the profile edit window, click on the Edit button.


• Then in the General tab, uncheck Use the system fixed width font, and then select your desired font from dropdown menu

Easier way

• Open the terminal with pressing Ctrl + Alt + T.


• Right click on the terminal, from the appeared popup menu, go to Profiles → Profile Preferences
  


• Then in the General Tab, uncheck Use the system fixed width font, and then select your desired font from dropdown menu.

I am giving two screenshots below:

share|improve this answer

edited 14 hours ago

Peter Mortensen

1,03221016

answered Jun 30 '12 at 5:13

AnwarAnwar

57.8k22149257

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  
  oh wow, i didnt know it was so easy. THANK YOU!!!
  
  – Fawkes5
  Jun 30 '12 at 5:16
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  As far as I can see, "Profiles" are in "Preferences" in Ubuntu 18.04 or Ubuntu 18.04. Perhaps update your answer to also cover newer versions of Ubuntu?
  
  – Peter Mortensen
  yesterday
  

  
  
  
  

add a comment | 

Though you did not mention what font you are using or what terminal you are referring, I am giving a general answer to change font in gnome-terminal.

I am giving two ways to do this, though both are relatively close to each other

Formal way

• Open the terminal with pressing Ctrl + Alt + T.


• Then go from menu Edit → Profiles. On the profile edit window, click on the Edit button.


• Then in the General tab, uncheck Use the system fixed width font, and then select your desired font from dropdown menu

Easier way

• Open the terminal with pressing Ctrl + Alt + T.


• Right click on the terminal, from the appeared popup menu, go to Profiles → Profile Preferences
  


• Then in the General Tab, uncheck Use the system fixed width font, and then select your desired font from dropdown menu.

I am giving two screenshots below:

share|improve this answer

edited 14 hours ago

Peter Mortensen

1,03221016

answered Jun 30 '12 at 5:13

AnwarAnwar

57.8k22149257

share|improve this answer

edited 14 hours ago

Peter Mortensen

1,03221016

answered Jun 30 '12 at 5:13

AnwarAnwar

57.8k22149257

edited 14 hours ago

Peter Mortensen

1,03221016

edited 14 hours ago

Peter Mortensen

1,03221016

answered Jun 30 '12 at 5:13

AnwarAnwar

57.8k22149257

answered Jun 30 '12 at 5:13

AnwarAnwar

57.8k22149257

1

For Ubuntu 17.04 with GNOME Terminal 3.20.2, the options are a bit different. From the menu, go to Edit -> Profile Preferences -> General tab. In the Text Appearance section, select the Custom font option, click on the selected font, and then reduce the font size number at the bottom of the new window.

share|improve this answer

answered Sep 13 '17 at 12:31

patrickvacekpatrickvacek

482611

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Yep, I use a dark theme and low brightness so the checkbox is nearly invisible
  
  – qwr
  Aug 29 '18 at 3:54
  

  
  
  
  

add a comment | 

1

For Ubuntu 17.04 with GNOME Terminal 3.20.2, the options are a bit different. From the menu, go to Edit -> Profile Preferences -> General tab. In the Text Appearance section, select the Custom font option, click on the selected font, and then reduce the font size number at the bottom of the new window.

share|improve this answer

answered Sep 13 '17 at 12:31

patrickvacekpatrickvacek

482611

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Yep, I use a dark theme and low brightness so the checkbox is nearly invisible
  
  – qwr
  Aug 29 '18 at 3:54
  

  
  
  
  

add a comment | 

For Ubuntu 17.04 with GNOME Terminal 3.20.2, the options are a bit different. From the menu, go to Edit -> Profile Preferences -> General tab. In the Text Appearance section, select the Custom font option, click on the selected font, and then reduce the font size number at the bottom of the new window.

share|improve this answer

answered Sep 13 '17 at 12:31

patrickvacekpatrickvacek

482611

share|improve this answer

answered Sep 13 '17 at 12:31

patrickvacekpatrickvacek

482611

answered Sep 13 '17 at 12:31

patrickvacekpatrickvacek

482611

answered Sep 13 '17 at 12:31

patrickvacekpatrickvacek

482611