Хотя, вы не указали, какой шрифт вы используете или на каком терминале вы ссылаетесь, я даю общий ответ на изменение шрифта в gnome-terminal.
Я даю два способа сделать это , хотя оба они относительно близки друг к другу
Формальный путь
Откройте терминал нажатием CTRL + ATL + T. Затем перейдите от Menu → Edit → Profiles , В окне редактирования профиля нажмите кнопку Edit. Затем на вкладке General снимите флажок Use the system fixed width font, а затем выберите нужный шрифт из раскрывающегося меню Простой способ
Откройте терминал нажатием CTRL + ATL + T. Щелкните правой кнопкой мыши по терминалу, из появившегося всплывающего меню перейдите к Profiles → Profile Preferences Затем перейдите от Menu → Edit → Profiles. В окне редактирования профиля нажмите кнопку Edit. Я даю два снимок экрана ниже:
задан James Waldby - jwpat7
1 February 2013 в 01:48
поделиться