Re: recalculate LINES and COLUMNS

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 Mono:si

Re: recalculate LINES and COLUMNS

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 chan

recalculate LINES and COLUMNS

Hi list, 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 the second li