#!/bin/bash

if [[ "$1" == "" ]]; then
  echo "$0 DIR" >&2
  echo "DIR is the dir containing the .xiz files" >&2
  exit 1
fi
for fil in $1/*.xiz
do
  compresso="`file $fil |egrep -c 'gzip'`"
  echo "file $fil, compressed=$compresso"
  if [ $compresso -ne 0 ]; then
     mv $fil $fil.gz
     gzip -d $fil.gz
  fi
  cat $fil |sed -e 's/<?xml\([^>]*\)??>/<?xml\1?>/' >$fil.cr
  mv -f $fil.cr $fil
  if [ $compresso -ne 0 ]; then
    gzip $fil
    mv -f $fil.gz $fil
  fi
done

exit 0