#! /bin/csh -f
# Last modified on Tue Sep 20 21:52:32 1988 by stolfi
#===============================================================
# Defines a new commands (need to do "rehash" afterwards)
#===============================================================
echo '#! /bin/csh -f'                                     > ~/bin/$1
echo '# File ' $1					 >> ~/bin/$1
echo '# Last modified on '`date`' by '$USER		 >> ~/bin/$1
echo '#================================================' >> ~/bin/$1
if ($#argv == 1) then
  echo 'Enter csh commands, end with ^D'
  cat >> ~/bin/$1
else
  echo "$argv[2-]" >> ~/bin/$1
endif
chmod +x ~/bin/$1