#!/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 ''
#!/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 ''