2 # tobackup [set] - print names of venti arenas needing to be dumped to disc set
13 echo usage: $0 '[set]' >[1=2]
18 echo $0: no backup set named $set in $backup >[1=2]
21 if (! hget -o index http://$fs/index) {
22 echo $0: 'can''t fetch venti index from' $fs >[1=2]
25 if (! test -s index) {
26 echo $0: 'empty venti index from' $fs >[1=2]
31 awk '/^arena=/ { name=$1 }
32 / disk=sealed/ { print name; name = "" }
33 ' ../index | sed 's/^arena=//' >nsealed
35 if (! cmp -s sealed nsealed)
43 comm -23 <{sort -u sealed fake} <{sort -u ondisc}
44 if not { # first sealed arenas, dump all
46 chmod +a ondisc >>ondisc