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
The configuration file consists of lines in the form described below.
Lines starting with
Names the index for the system.
After formatting a venti system using
The configuration file optionally holds configuration parameters for the venti server itself. These are:
# 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