#! /bin/csh -f
# Last edited on 2007-10-14 14:37:57 by stolfi
# run xterm with a 14-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 =83x30+36+36 \
  -font '-adobe-courier-bold-r-*-*-*-120-100-100-*-*-iso8859-1' \
  -name "${USER}.`getgroup`@`/bin/uname -n`" \
  -j -sb -sl 128 \
  -xrm "XTerm*bellSuppressTime: 0" \
  -xrm "XTerm*internalBorder:   4" \
  $*