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

42

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

    
задан Fawkes5 30.06.2012 в 07:04
источник

3 ответа

37

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

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

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

    
ответ дан Marty Fried 30.06.2012 в 07:14
источник
29

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

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

Формальный способ

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

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

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

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

    
ответ дан Anwar 30.06.2012 в 07:13
1

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

    
ответ дан patrickvacek 13.09.2017 в 14:31