55

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

46

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).

  • 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 Apr 26 at 11:49
  • 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 Apr 26 at 11:58
32

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 EditProfiles. 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 ProfilesProfile 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:

Image of popup menu

Image of the "Edit" profile window

  • 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 Apr 26 at 11:55
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.

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

if you mean a server terminal, that is, no window system, just the console, I like this answer:

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

this is an example; you can see a list of available fonts like this:

ls /usr/share/consolefonts

and should you for some reason not have them, you can install them like this:

sudo apt-get install fonts-ubuntu-font-family-console

note that you may need to put the setfont command in your .profile or .bashrc as it may need to be run upon every login

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.