#!/bin/bash # # $Id$ # # ufont: Change urxvt font. # Usage: ufont [] # Example: ufont 12 # Example: ufont 11 "xft:DejaVu Sans Mono" # aspect=0.9 size="$1"; shift font="${1:-xft:DejaVu Sans Mono}" if [ -z "$size" ]; then echo >&2 "Usage: ufont []" exit 1 fi escape="$font:pixelsize=$size:aspect=$aspect" echo -e "\033]710;$escape\007\033]711;$escap\007" exit $?