Я хотел бы изменить шрифт в терминале, как мне этого добиться?
Несмотря на то, что вы не упомянули, какой шрифт вы используете или какой терминал используете, я даю общий ответ на изменение шрифта в gnome-terminal.
Я даю два способа сделать это, хотя оба относительно близки друг к другу.
Menu
→ Edit
→ Profiles
. В окне редактирования профиля нажмите кнопку Edit
. General
снимите флажок Use the system fixed width font
и выберите нужный шрифт из выпадающего меню Profiles
→ Profile Preferences
General
снимите флажок Use the system fixed width font
и выберите нужный шрифт из выпадающее меню. Я даю два снимка экрана ниже:
Bash терминал:
Меню, Редактировать => Настройки профиля => Общие вкладка; снимите флажок Используйте системный шрифт фиксированной ширины и выберите нужный шрифт.
Для обычного терминала xterm вам нужно создать файл ~/.Xresources
и добавить в него настройки, такие как xterm*font: Sublime\ Text\ 2-12
для 12 пунктов (это предположение, я не знаю, полностью ли это правильно).
Для Ubuntu 17.04 с GNOME Terminal 3.20.2 параметры немного отличаются. В меню выберите «Правка» -> «Настройки профиля» -> вкладка «Общие». В Text Appearance section
выберите опцию Custom font
, щелкните по выбранному шрифту, а затем уменьшите номер размера шрифта в нижней части нового окна.
если Вы имеете в виду терминал сервера, то есть, никакую оконную систему, просто консоль, мне нравится этот ответ :
setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf
это - пример; Вы видите список доступных шрифтов как это:
ls /usr/share/consolefonts
и если у Вас по некоторым причинам не есть они, можно установить их как это:
sudo apt-get install fonts-ubuntu-font-family-console
примечание, что Вы, возможно, должны поместить команду setfont в свой .profile или .bashrc, как это, возможно, должно быть выполнено после каждого входа в систему