#! /bin/csh -fe
# Last edited on 2001-10-28 23:25:48 by stolfi

set usage = "$0"

if ( $#argv != 0 ) then
  echo "usage: ${usage}"; exit 1
endif

set fragdir = "data/fragments"
if ( ! ( -d ${fragdir} ) ) then
  echo 'directory "${fragdir}" does not exist'; exit 1
endif

(cd ${fragdir} && ls -d [0-9][0-9][0-9][0-9] )