4 if [ -z $JPP_DIR ]; then
 
    5     echo "Variable JPP_DIR undefined."
 
    9 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
   11 set_variable:  DEBUG           ARCHIVE_DEBUG          2
 
   12 set_variable:  WORKDIR         ARCHIVE_WORKDIR        ${TMPDIR:-/tmp}/
 
   16     usage "$script <source directory> <detector identifier> <suffix> <archive> <version>"\
 
   17           "\nAuxiliary script to download online detector files from database and to store these in archive."\
 
   18           "\nNote that the given suffix and version should match with that in the file names."
 
   21 if (( $# == 5 )); then
 
   22     set_variable  DIR             $argv[1]
 
   23     set_variable  DETECTOR_ID     $argv[2]
 
   24     set_variable  SUFFIX          $argv[3]
 
   25     set_variable  ARCHIVE         $argv[4]
 
   26     set_variable  VERSION         $argv[5]
 
   28     fatal "Wrong number of arguments."
 
   31 set_variable  DETECTOR_ID     $(getDetector -D $DETECTOR_ID -O int)
 
   32 set_variable  PREFIX          KM3NeT_${(l:8::0::0:)DETECTOR_ID}
 
   33 set_variable  SUFFIX          ${VERSION}_${SUFFIX}
 
   36 typeset -T BUFFER  ARRAY  _
 
   38 for FILE_NAME in `ls ${DIR}/${PREFIX}_*\.${SUFFIX}.txt`; do
 
   40     BUFFER=${${FILE_NAME:t}%%\.*}
 
   45     DATABASE[$RUN]=$FILE_NAME
 
   48 if (( ${#DATABASE} == 0 )); then
 
   49     fatal "No input files at ${DIR}/${PREFIX}_*\.${SUFFIX}.txt."
 
   52 MINRUN=`echo ${(k)DATABASE} | tr ' ' '\n' | sort -g | head -n 1`
 
   53 MAXRUN=`echo ${(k)DATABASE} | tr ' ' '\n' | sort -g | tail -n 1`
 
   55 for (( i0 = $MINRUN; $i0 <= $MAXRUN; )); do
 
   57     if (( ${+DATABASE[$i0]} == 1 )); then
 
   59         notice "Run $i0 $DATABASE[$i0]"
 
   61         grep -E -v "^#" $DATABASE[$i0] > $WORKDIR/i0.txt
 
   63         for (( i1 = $i0 + 1; $i1 <= $MAXRUN; i1 += 1 )); do
 
   65             if (( ${+DATABASE[$i1]} == 0 )); then
 
   69             notice "Run $i1 $DATABASE[$i1]"
 
   71             grep -E -v "^#" $DATABASE[$i1] > $WORKDIR/i1.txt
 
   73             diff $WORKDIR/i0.txt $WORKDIR/i1.txt >& /dev/null
 
   75             if (( $? != 0 )); then
 
   80         putFile.sh  ${DATABASE[$i0]}  $ARCHIVE  $DETECTOR_ID  $i0  $(($i1 - 1))  $TYPE  $VERSION
 
   89 rm -f $WORKDIR/i{0,1}.txt