Я хочу изменить font style
в terminal
, а также по умолчанию gedit
. Так как изменить font type in Ubuntu 12.04
? Любая помощь и предложения будут заметны.
Установите инструмент тонкой настройки гнома :
sudo apt-get install gnome-tweak-tool
В шрифтах можно изменить шрифт в масштабе всей системы.
Для gedit:
(источник: iloveubuntu.net )
Для терминала:
Не уверенный в редакторе, но для терминала просто изменяют шрифт для профиля по умолчанию от
Edit -> Profile
Аплодисменты меню
S
Для терминала можно щелкнуть правой кнопкой в окне содержания (не строка заголовка) и выбрать 'Profiles', затем 'Предпочтения профиля'. Вы затем получаете то же диалоговое окно, как показал в ответ 0x00F