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