📄 update.sh
字号:
#!/bin/sh# $Id: update.sh,v 1.10 2002/07/15 11:48:21 adam Exp $t=$1test -n "$t" || exit 1test -d reg-$t && rm -fr reg-$tmkdir reg-$trm -f *.mf *.LCK *.tmp../../index/zebraidx -l zebraidx-$t.log init i=0rm -f times-$t.log stat-$t.logwhile test -f dmoz.$i.xml; do echo -n "$i " >>times-$1.log rm -f zebraidx-$t.log ../../index/zebraidx -l zebraidx-$t.log -c zebra-$t.cfg -f 10 update dmoz.$i.xml grep ' zebraidx times:' zebraidx-$t.log | sed 's/.*zebraidx times://g' >>times-$t.log i=`expr $i + 1` mod=`expr $i % 50` if test $mod -eq 0; then echo "run $i" >> stat-$t.log ../../index/zebraidx -l zebraidx-$t.log -c zebra-$t.cfg stat >>stat-$t.log fi if test $i = 30; then break fidonetitle="ISAM-$t `date`"cat >plot.dem <<ENDOFMESSAGEset output "times-$t.ps"set terminal postscriptset title "$title"set xlabel "runs"set ylabel "seconds"plot [0:] [0:] \ 'times-$t.log' using 2 title 'real' with linespoints, \ 'times-$t.log' using 3 title 'user' with linespoints, \ 'times-$t.log' using 4 title 'sys' with linespointsENDOFMESSAGEgnuplot plot.dem
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -