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:

  1. Select Edit ▸ Profile Preferences ▸ General.

  2. Select Use the system fixed width font.

Set a custom font

To set a custom font and size:

  1. Select Edit ▸ Profile Preferences ▸ General.

  2. Ensure that Use the system fixed width font option is unchecked.

  3. Click on the button next to Font.

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

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

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

Bold text

Terminal allows your shell to process text such as the prompt, directory names or man page headings to appear in bold style.

  1. Go to Edit ▸ Profile Preferences ▸ General.

  2. Select Allow bold text.

Allow bold text is a shell specific feature. If you are using a shell other than Bash, then the described behavior may not be similar.