Bash: изменение размера шрифта

это изменит шрифт на желтый:

echo -e "E[1;33m"

как именно я могу сделать его жирным и увеличить шрифт, сохраняя желтизна?

5
задан Journeyman Geek
источник

1 ответов

Если вы находитесь на консоли, вы можете попробовать изменить разрешение консоли с помощью vidcontrol (для BSD) или воспроизведение с настройками фреймбуфера (для GNU/Linux).

Если вы используете X, то используйте control-среднюю кнопку мыши, чтобы нажать на окно и выбрать другой размер. (Обычно вы получите список с крошечным / маленьким/средним/большим / огромным выбором).

1
отвечен Hennes 2013-01-16 00:17:23
источник

Другие вопросы bash fonts