#! /bin/csh -f
# Last edited on 2003-04-20 17:46:20 by stolfi
# run xterm with a 14-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 =120x46+36+36 \
  -font '-adobe-courier-medium-r-*-*-*-140-*-*-*-*-iso8859-1' \
  -name "${USER}.`getgroup`@`/bin/uname -n`" \
  -j -sb -sl 128 \
  -xrm "XTerm*bellSuppressTime: 0" \
  $*