Я бы проверил сайт пакетов Gentoo , который имеет лучшую индексацию, чем ебилды. Например, в нем упоминается, что liberation -шрифты могут дать стили, которые вы запрашиваете.
Шрифты Adobe в большинстве дистрибутивов содержат растровые шрифты Helvetica и Times Roman:
но сюда не входит Georgia(шрифт Microsoft ). В указателе Gentoo он указан только как шрифт TrueType.
Если вы хотите, чтобы zsh
выводил текущее время каждый раз, когда zle
принимает строку и zsh
начинает интерпретировать код в ней, вы можете сделать это в хуке preexec()
:
print-time() print -P '%F{yellow}%D{%FT%T.%2.%z}%f'
preexec_functions+=(print-time)
Чтобы сделать это перед каждой командой, вы можете сделать это в ловушке DEBUG:
TRAPDEBUG() print-time > /dev/tty
Но я сомневаюсь, что вам это понравится, так как на самом деле это будет выполняться перед каждой командой, включая те, которые запускаются в виджетах завершения и других ловушках.
Обратите внимание, что вы также можете добавить время к правой подсказке -:
RPS1='%D{%T.%1.}'