Измените терминальный размер шрифта программно
это возможно сделать это путем выполнения команды? Есть ли какой-либо взлом, который позволил бы это? Я пытался использовать python-uinput для моделирования продвижения Ctrl+Plus для создания шрифта больше, но это не работало.
Я пробую к изображениям на дисплее в терминале без любой потребности в gui., это - возможное использование timg. Однако разрешение изображения довольно плохо. Когда я делаю размер шрифта терминала очень маленьким, изображение отображено почти в родном разрешении.
Я хочу записать, что шляпа сценария автоматически сбросит терминал, изменит размер его шрифта к очень небольшому размеру и наконец назовет timg для отображения изображения. Это позволит ssh в удаленный робот и отображение последнего изображения, которое это получило, не имея необходимость сначала копировать его назад в мой компьютер.
Я являюсь главным образом рабочим с терминалом гнома или разделителем
3 ответа
На ум приходит, что в отличие, например, изменяя цвета, невозможно повлиять на размер шрифта текста на произвольной консоли - но я не знаю, действительно ли вы пытаетесь это сделать.
Пожалуйста, добавьте дополнительную информацию. Каким терминалом вы хотите управлять? гном-терминал? Зачем вам это программно? Для настольного приложения это обычно возможно в настройках терминального приложения. Для системной консоли вы можете использовать sudo dpkg-reconfigure console-setup .
, чтобы изменить размер шрифта gnome-terminal через командную строку,
- сначала нам нужно узнать текущий идентификатор профиля gnome-terminal. Я использую тот, который по умолчанию называется «Безымянный»
, в моем случае идентификатор профиля начинается с «b1dcc9».
- Квадрат настраиваемого шрифта должен быть отмечен галочкой.
- запустите команду ниже, чтобы получить список профилей
gsettings получить org.gnome.Terminal.ProfilesList list
Пример:
$ gsettings get org.gnome.Terminal.ProfilesList list
['b1dcc9dd-5262-4d8d-a863-c897e6d979b9', 'd2a064f8-146d-45b5-8da7-d7e2f34da77e', 'aaaaaaaa-aaaa-aaaa-aaaa-aaaaaaaaaaaa']
Я уже знаю, что мой текущий профиль - это то, что начинается с «b1dcc9»
- . Получите имя и размер шрифта с помощью следующей команды
gsettings получает org.gnome.Terminal.Legacy.Profile: / org / gnome / terminal / legacy / profiles: /: b1dcc9dd-5262-4d8d-a863-c897e6d979b9 / font
Пример:
$ gsettings get org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ font
'Noto Mono Bold 12'
$
- Установите шрифт имя и размер с помощью команды ниже
gsettings set org.gnome.Terminal.Legacy.Profile: / org / gnome / terminal / legacy / profiles: /: b1dcc9dd-5262-4d8d-a863-c897e6d979b9 / font 'Ubuntu Mono Italic 50'
Пример:
$ gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ font 'Ubuntu Mono Italic 50'
$
Внимание: не задавайте большие значения размера шрифта, это приведет к неработоспособности ОС. по ошибке я нажимаю 512 вместо 52 и нажимаю Enter. Я много боролся, чтобы вернуться.
# python3
# sudo apt-get install xdotool
from subprocess import call
call(["xdotool", "key", "ctrl+minus"])
call(["xdotool", "key", "ctrl+plus"])
call(["xdotool", "key", "ctrl+0"])