ufont

   1 #!/bin/bash
   2 #
   3 # $Id$
   4 #
   5 # ufont: Change urxvt font.
   6 # Usage: ufont <size> [<font>]
   7 # Example: ufont 12
   8 # Example: ufont 11 "xft:DejaVu Sans Mono"
   9 #
  10
  11 aspect=0.9
  12 size="$1"; shift
  13 font="${1:-xft:DejaVu Sans Mono}"
  14 if [ -z "$size" ]; then
  15   echo >&2 "Usage: ufont <size> [<font>]"
  16   exit 1
  17 fi
  18
  19 escape="$font:pixelsize=$size:aspect=$aspect"
  20 echo -e "\033]710;$escape\007\033]711;$escap\007"
  21 exit $?