# trivial venti/mgr usage example

dd -if /dev/zero -of arenas1.img -bs 8192 -count 524288
dd -if /dev/zero -of arenas2.img -bs 8192 -count 524288
dd -if /dev/zero -of isect1.img -bs 8192 -count 51200
dd -if /dev/zero -of isect2.img -bs 8192 -count 51200
dd -if /dev/zero -of bloom1.img -bs 8192 -count 8192
dd -if /dev/zero -of bloom2.img -bs 8192 -count 8192

venti/fmtarenas arenas arenas1.img
venti/fmtarenas arenas arenas2.img
venti/fmtisect isect isect1.img
venti/fmtisect isect isect2.img
venti/fmtbloom bloom1.img
venti/fmtbloom bloom2.img

echo 'index main
isect isect1.img
arenas arenas1.img
bloom bloom1.img
addr tcp!127.1!2000
httpaddr tcp!127.1!2100
webroot /sys/src/cmd/venti/srv/www
mgr httpaddr tcp!127.1!2200
mgr mirror arenas1.img arenas2.img
mgr mirrorfreq 86400
mgr verify arenas2.img
mgr verifyfreq 604800' | venti/conf -w arenas1.img

# other parameters
#  mgr webroot
#  mgr smtp
#  mgr mailfrom
#  mgr mailto

echo 'index main
isect isect2.img
arenas arenas2.img
bloom bloom2.img
addr tcp!127.1!3000
httpaddr tcp!127.1!3100
webroot /sys/src/cmd/venti/srv/www' | venti/conf -w arenas2.img

venti/fmtindex arenas1.img
venti/fmtindex arenas2.img

# run

venti/venti -c arenas1.img -m 20
venti/mgr -s arenas1.img

# vac

venti=tcp!127.0.0.1!2000
vac /sys/src/9