В терминале Linux Mint 18.1:
- Щелкните правой кнопкой мыши в любом месте черного пространства.
- Выберите «профили», «настройки профиля».
- Поставьте галочку в поле «Пользовательский шрифт».
- Нажмите на большой текстовый образец рядом с ним.
- Выберите нужный размер и тип шрифта.
Изменения вступят в силу немедленно.
intmarinoreturn0
06.03.2018, 22:05
Ссылка