sqlの出力結果から実行時間を抜き出す

sumarize-execution-time.sh

#!/bin/sh
set -eux
cd $(dirname $0)

# for i in {1..22}; do LINE=`wc -l $i.out | cut -d ' ' -f 1`; grep -e "^select$" -A $LINE $i.out | grep -o -e "[[:digit:]]\+\.[[:digit:]]\+ sec)" -m 1 | cut -d ' ' -f 1 | sed "s/^/$i /g"; done > execution_time.dat

parse_execution_time() {
    local qout=$1
    local status_line=$(grep -n '| Status *| Duration *|' $qout | cut -d ':' -f 1)
    tail -n +$((status_line + 2)) $qout | grep '^|' | sed 's/^| \| |$//g' | sed 's/ *| */,/g' > time$qout
}

if [ $# -ne 1 ]; then
    echo "Usage: [$0] directory"
    exit
fi

cd $1
for i in $(seq 1 22); do
    parse_execution_time q$i.out
    awk -F , "{ sum = sum + \$2 } END{ print sum }" time$i.out >> execution_time.dat
done