#! /bin/bash WHAT=$1 DIR=$2 MINIC=$3 MAXIC=$4 MINOC=$5 MAXOC=$6 prefix=$8 meanstatsfilename=$2/mean.html WORK_DIR=tmp mkdir $WORK_DIR DATA_FILE=`find $DIR -name "*.dat" | grep _${WHAT}` if [ -n "$DATA_FILE" ]; then echo "" echo "$1..." for FILE in $DATA_FILE do ##echo hello world ##echo "mk_mean_script1" ${FILE} BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat} ##echo "mk_mean_script1" ${TITLE} cp $FILE ${WORK_DIR}/${TITLE} done cd $WORK_DIR ../main $1 $3 $4 $5 $6 * >> ../$meanstatsfilename ../mk_new_gnuplot.sh $1 $2 $7 rm -f *.gnuplot cd .. echo '
' >> $meanstatsfilename webpagefilename=$2/index.html # echo '

'${WHAT}'

' >> $webpagefilename echo '
'${WHAT}'
' >> $webpagefilename fi rm -R $WORK_DIR