#!/bin/rc fn usage { echo 'repl/prune repl...'>[1=2] exit usage } fn random { awk 'BEGIN{srand(); printf("%d\n", 10000 * rand());}' } rid=`{random} if (test $#* -lt 1) usage while (! ~ $#* 0){ if (test -x $1) . $1 if not if (test -x $home/lib/repl/$1) . $home/lib/repl/$1 if not { if (test -x /lib/repl/$1) . /lib/repl/$1 if not { echo 'no such replica: '^$1 >[1=2] exit bad1 } } echo pruning $1 repl/scandb -p $rid $dir $db shift } exit ''