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