Как изменить шрифт терминала gnome в командной строке?
Я знаю, как изменить шрифт терминала gnome с помощью gui
Но я хотел бы сделать то же самое с помощью терминала (автоматический путь). Как я могу это сделать?
1
задан Patryk
26 December 2013 в 19:40
поделиться
1 ответ
Чтобы также снять флажок Use the system fixed width font из командной строки, используйте:
gconftool-2 --set /apps/gnome-terminal/profiles/Default/use_system_font --type=boolean false
Протестировано на Linux Mint Cinnamon 17.1. Ваш пробег может отличаться.
3
ответ дан nerfologist
24 May 2018 в 13:43
поделиться