Is it possible to change the Terminal font?

Question

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

Answer 1

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

Answer 2

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 way to do this, though both are relatively close to each other

Formal way

• Open the terminal with Pressing CTRL + ATL + T.
• Then go from Menu → Edit → Profiles. On the profile edit window, Click on 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 + ATL + 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 screenshot below:

Answer 3

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.