3 venti.conf \- a venti configuration file
5 A venti configuration file enumerates the various index sections and
6 arenas that constitute a venti system.
7 The components are indicated by the name of the file, typically
8 a disk partition, in which they reside. The configuration
9 file is the only location that file names are used. Internally,
10 venti uses the names assigned when the components were formatted
17 In particular, by changing the configuration a
18 component can be copied to a different file.
20 The configuration file consists of lines in the form described below.
26 Names the index for the system.
30 contains a collection of arenas, formatted using
35 contains an index section, formatted using
38 After formatting a venti system using
40 the order of arenas and index sections should not be changed.
41 Additional arenas can be appended to the configuration.
43 The configuration file optionally holds configuration parameters
44 for the venti server itself.
49 .BI bcmem " blockcachesize
51 .BI icmem " indexcachesize
53 .BI addr " ventiaddress
55 .BI httpaddr " httpaddress
61 for descriptions of these variables.
64 # a sample venti configuration file
67 # venti/fmtarenas arena. /tmp/disks/arenas
68 # venti/fmtisect isect0 /tmp/disks/isect0
69 # venti/fmtisect isect1 /tmp/disks/isect1
70 # venti/fmtindex venti.conf
72 # server is started with
75 # the name of the index
79 isect /tmp/disks/isect0
80 isect /tmp/disks/isect1
83 arenas /tmp/disks/arenas