Quelle mk_mean_script.sh Sprache: Shell

#! /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 '<h3>'${WHAT}'</h3>'  >> $webpagefilename
  echo '

'</span>${WHAT}<span style='color:blue'>'

' >> $webpagefilename

fi

rm -R $WORK_DIR

quality99%

¤ Dauer der Verarbeitung: 0.3 Sekunden ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.