venti.conf – a venti configuration file

A venti configuration file enumerates the various index sections and arenas that constitute a venti system. The components are indicated by the name of the file, typically a disk partition, in which they reside. The configuration file is the only location that file names are used. Internally, venti uses the names assigned when the components were formatted with fmtarenas or fmtisect (see venti–fmt(8)). In particular, by changing the configuration a component can be copied to a different file.

The configuration file consists of lines in the form described below. Lines starting with # are comments.
index name
Names the index for the system.
arenas file
contains a collection of arenas, formatted using fmtarenas.
isect file
contains an index section, formatted using fmtisect.

After formatting a venti system using fmtindex, the order of arenas and index sections should not be changed. Additional arenas can be appended to the configuration.

The configuration file optionally holds configuration parameters for the venti server itself. These are:
mem cachesize
bcmem blockcachesize
icmem indexcachesize
addr ventiaddress
httpaddr httpaddress
See venti(8) for descriptions of these variables.

# a sample venti configuration file
# formatted with
#      venti/fmtarenas arena. /tmp/disks/arenas
#      venti/fmtisect isect0 /tmp/disks/isect0
#      venti/fmtisect isect1 /tmp/disks/isect1
#      venti/fmtindex venti.conf
# server is started with
#      venti/venti
# the name of the index
index main
# the index sections
isect /tmp/disks/isect0
isect /tmp/disks/isect1
# the arenas
arenas /tmp/disks/arenas

fs(3), venti(8), venti–fmt(8)