|  | #!/bin/bash | 
|  |  | 
|  | # base name of the bench | 
|  | # it reads $1.out | 
|  | # and generates $1.pdf | 
|  | WHAT=$1 | 
|  |  | 
|  | header="rev " | 
|  | while read line | 
|  | do | 
|  | if [ ! -z '$line' ]; then | 
|  | header="$header  \"$line\"" | 
|  | fi | 
|  | done < settings.txt | 
|  |  | 
|  | echo $header > $WHAT.out.header | 
|  | cat $WHAT.out >> $WHAT.out.header | 
|  |  | 
|  |  | 
|  | echo "set title '$WHAT'" > $WHAT.gnuplot | 
|  | echo "set key autotitle columnhead outside " >> $WHAT.gnuplot | 
|  | echo "set xtics rotate 1" >> $WHAT.gnuplot | 
|  |  | 
|  | echo "set term pdf color rounded enhanced fontscale 0.35 size 7in,5in" >> $WHAT.gnuplot | 
|  | echo set output "'"$WHAT.pdf"'" >> $WHAT.gnuplot | 
|  |  | 
|  | col=`cat settings.txt | wc -l` | 
|  | echo "plot for [col=2:$col+1] '$WHAT.out.header' using 0:col:xticlabels(1) with lines" >> $WHAT.gnuplot | 
|  | echo " " >>  $WHAT.gnuplot | 
|  |  | 
|  | gnuplot -persist < $WHAT.gnuplot | 
|  |  | 
|  | # generate a png file | 
|  | # convert -background white -density 120 -rotate 90 -resize 800 +dither -colors 256 -quality 0 $WHAT.ps -background white -flatten  .$WHAT.png | 
|  |  | 
|  | # clean | 
|  | rm $WHAT.out.header $WHAT.gnuplot |