Я просто хотел спросить...
Кажется, что необходимо нажать Ctrl + - (ctrl плюс знак "минус") для получения лучшего разрешения (уменьшенный текст) когда рабочий терминал.
Но я задавался вопросом, был ли способ сделать, сохраняют настройки этим путем, так, чтобы каждый раз, когда Вы запускаете терминал, он уже работал в более высоком разрешении?
Можно вручную установить размер текста в терминале:
Можно также выбрать размер терминала путем выбора Использования пользовательский терминальный размер по умолчанию и установки многих строк и столбцов.
Можно попытаться вызвать gnome-terminal
с параметром --zoom
, например:
gnome-terminal --zoom=0.8
для уменьшения 20% (80% первоначального размера)
Ограниченная документация для этого параметра найдена путем выполнения
gnome-terminal --help-all
Можно играть немного с различными размерами масштабирования, чтобы найти соответствующий и затем отредактировать ярлыки соответственно.