Cambiar o tipo de letra e estilo

Cando traballa con moito texto no Terminal, pode querer cambiar o tipo de letra predeterminado á súa elección. Debe seguir as seguintes opcións:

Tipo de letra de largura fixa do sistema

Para usar os tipos de letra predeterminados do sistema:

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

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

  3. Select Text.

  4. Unselect Custom font.

Estabelecer un tipo de letra personalizado

Para estabelecer un tipo de letra e tamaño personalizado:

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

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

  3. Select Text.

  4. Select Custom font.

  5. Click on the button next to Custom font.

  6. Escriba o nome do tipo de letra que desexa no campo de busca ou explore a lista de tipos de letra.

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

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

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

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

  3. Select Text.

  4. Go to the Cell spacing setting.

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

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