Можно ли изменить шрифт терминала?

Я хотел бы изменить шрифт в терминале, как я могу это достичь?

Баш-терминал:

Меню, Изменить => Настройки профиля => вкладка Общие ; снимите флажок Использовать шрифт фиксированной ширины системы и выберите нужный шрифт.

Для общего терминала xterm вам необходимо создать файл ~/.Xresources и добавить к нему настройки, такие как xterm*font: Sublime\ Text\ 2-12 для 12 точек (это предположение, я не знаю, если это абсолютно правильно).

Хотя, вы не указали, какой шрифт вы используете или какой терминал вы имеете в виду, я даю общий ответ на изменение шрифта в gnome-terminal.

Я даю два способа сделать это, хотя оба они относительно близки друг к другу

Формально

  • Откройте терминал нажатием CTRL + ATL + T.
  • Затем перейдите из Menu Edit → « Profiles . В окне редактирования профиля нажмите кнопку « Edit .
  • Затем в вкладке « General снимите флажок « Use the system fixed width font , а затем выберите нужный шрифт из выпадающего меню

Простой способ

  • Откройте терминал нажатием CTRL + ATL + T.
  • Щелкните правой кнопкой мыши на терминале, в появившемся всплывающем меню перейдите в ProfilesProfile Preferences
  • Затем в вкладке « General снимите флажок Use the system fixed width font , а затем выберите нужный шрифт из выпадающего меню.

Я даю два снимка экрана ниже:

изображение всплывающего меню

изображение окна Редактировать профиль

Для Ubuntu 17.04 с GNOME Terminal 3.20.2 параметры немного отличаются. В меню перейдите в меню «Редактировать -> Настройки профиля -> Общие». В разделе « Text Appearance section выберите опцию « Custom font , щелкните выбранный шрифт, а затем уменьшите размер шрифта в нижней части нового окна.