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:

Open Edit Preferences.

Your current profile is selected in the sidebar. If you wish to edit a different profile, click on its name.

Select Text.

Unselect Custom font.

# Set a custom font

To set a custom font and size:

Open Edit Preferences.

Your current profile is selected in the sidebar. If you wish to edit a different profile, click on its name.

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.

Open Edit Preferences.

Your current profile is selected in the sidebar. If you wish to edit a different profile, click on its name.

Select Text.

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.