On Mon, Aug 20, 2007 at 07:40:47AM +0200, thomas wrote:
Sometimes I want to change the font of my terminal (urxvt): for
instance, I am tired and want a bigger font. I can use a bash alias
(or a keyboard shortcut) which runs these two lines:
printf '\e]710;%s\007' 'xft:DejaVu Sans
thomas wrote:
Sometimes I want to change the font of my terminal (urxvt): for
instance, I am tired and want a bigger font. I can use a bash alias
(or a keyboard shortcut) which runs these two lines:
printf '\e]710;%s\007' 'xft:DejaVu Sans Mono:size=10'
kill -WINCH $$
Font is changed but