#! /bin/sh if [ "$#" -gt 0 ]; then tanks="$@" else echo "Usage: $0 tank1 tank2 [...]" exit 1 fi if [ -f next-round ]; then next=$(cat next-round) else next=0 fi expr $next + 1 > next-round fn=$(printf "round-%04d.html" $next) rfn=results$$.txt echo -n "Running round $next... " cat <$fn Tanks Round $next

Tanks Round $next

0 fps

EOF ./rank.awk $rfn >>$fn rm -f $rfn cat nav.html.inc >>$fn cat <>$fn EOF ./summary.awk $tanks > summary.html echo "done."