#! /bin/csh -f
# Last modified on Wed Apr 16 02:47:31 1986 by stolfi
#---------------------------------------------------------------------
# Usage: copy-folder <folder1> <folder2>
# Copies the messages from folder $1 to folder $2, and renumbers them
# starting with the highest used number in folder2 plus one.
# By definition, a message is a file whose last name is a number.
#---------------------------------------------------------------------
if ($#argv != 2) then
  echo 'Usage: copy-folder <original-folder> <destination-folder>
  exit(1)
endif
set from = $1
if (! -d $from) then
  echo $from is not a directory
  exit(1)
endif
set to = $2
if (! -d $to) then
  echo $to is not a directory
  exit(1)
endif
set files = (`list-folder $from`)
if ($#files == 0) then
  echo "Can\'t find any messages in $from."
  exit(1)
endif
copy-messages $files $to