#! /bin/csh -f
# Last modified on Tue Mar  3 22:02:29 1987 by stolfi
#
# Lists messages in folder $1, in numerical order
#
if ($#argv != 1) then
  echo 'Usage: list-folder folder'
  exit(1)
endif
set folder = $1
if (! -d $folder) then
  echo $folder is not a directory
  exit(1)
endif
touch $folder/dummy
ls $folder | sed -n '/^[0-9][0-9]*$/p' | sort -n | sed 's;^\([0-9]\);'$folder'/\1;'