Is it possible to change the Terminal font?
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).
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:
Ubuntu 18.04 or higher
Now this setting is under
Edit->Preferences-> Unnamed-> Text -> Check Custom font