dave0's font-size

[rxvt-unicode-script-mark-and-yank.git] / bin / set-font-size

#!/bin/zsh
if [[ "$1" =~ '^[0-9]+$' ]] ; then
        font="-*-terminus-*-r-normal-*-$1-*-*-*-*-*-*-1"
else
        font="#$1"
fi
set -x
echo -en "\033]50;$font\007"