#! /bin/csh -f
# Last modified on Mon Mar 14 10:30:08 1988 by stolfi 
#============================================================
# Usage: wcd <directory> <command>
# Creates a shell window with right size, connected to the <directory>
# and runs <command> on it. The window will not die when the <command> is 
# over.
#============================================================

if ( -d $1/. ) then
  setenv CSHINIT "cd $1; winit; $argv[2-]"
  nw 
  unsetenv CSHINIT
else
  echo "$0"':'" $1 not a directory"
endif