Как я могу изменить шрифт терминала gnome в командной строке?
Я знаю, как изменить шрифт терминала gnome с помощью графического интерфейса 
Но я хотел бы сделать то же самое с помощью терминала (автоматический способ). Как я могу это сделать?
5
задан Patryk
26 December 2013 в 17:40
поделиться
2 ответа
Чтобы также снять флажок 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. Ваш пробег может отличаться.
0
ответ дан nerfologist
26 December 2013 в 17:40
поделиться
-
1@IsmaelMiguel That' s неподдерживаемый для годы . – Yet Another User 17 June 2015 в 21:23
Я только что узнал, что я могу сделать это с gconftool-2, например, :
gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "Ubuntu Mono derivative Powerline 11"
0
ответ дан Patryk
26 December 2013 в 17:40
поделиться