Sindhu S
sindhus@live.in 2013
Ekaterina Gerasimova
kittykat3756@gmail.com 2013
Michael Hill
mdhillca@gmail.com 2013
Use system fonts or choose a custom font for your terminal.
Daniel Șerbănescu
daniel [at] serbanescu [dot] dk 2018

# Change font and style

When you work with a lot of Terminal text, you may want to change the default font to your preference. You have the following options:

# System fixed width font

To use system default fonts:

Press the menu button in the top-right corner of the window and select Preferences.

In the sidebar, select your current profile in the Profiles section.

Select Text.

Unselect Custom font.

# Set a custom font

To set a custom font and size:

Press the menu button in the top-right corner of the window and select Preferences.

In the sidebar, select your current profile in the Profiles section.

Select Text.

Select Custom font.

Click on the button next to Custom font.

Type the name of your desired font into the search field or browse the list of fonts.

Drag the slider that is below the font list to set the font size. Alternatively, you can type in the font size into the field next to the slider, or click on + to increase font size or - to decrease selected font size.

Click Select to apply your changes. To discard changes and go back to previous dialog, click Cancel.

# Line spacing and character spacing

Terminal allows you to pull its characters apart for improved readability. Line spacing and character spacing can be adjusted from 1.0 (the regular look) to 2.0 (“double spacing”), including fractional values in between.

Press the menu button in the top-right corner of the window and select Preferences.

In the sidebar, select your current profile in the Profiles section.

Select Text.

Go to the Cell spacing setting.

To set the horizontal character spacing, adjust the multiplier number in front of width.

To set the line spacing, adjust the multiplier number in front of height.