#! /bin/csh -f
# Last edited on 2003-04-20 17:46:46 by stolfi
# run xterm with a 16-pt font:

if ( -x /usr/X11R6/bin/xterm ) then
  set xterm = /usr/X11R6/bin/xterm
else if ( -x /usr/openwin/bin/xterm ) then
  set xterm = /usr/openwin/bin/xterm
else
  set xterm = xterm
endif

${xterm} \
  -geometry =105x46+32+32 \
  -font '-adobe-courier-bold-r-*-*-*-160-*-*-*-*-iso8859-1' \
  -name "${USER}.`getgroup`@`/bin/uname -n`" \
  -j -sb -sl 128 \
  -xrm "XTerm*bellSuppressTime: 0" \
  $*