3 <!-- User home directory. Here a ".matita" directory will be created
4 and used to store the part of the library developed by the user. -->
5 <key name="home">/tmp/</key>
6 <!-- User name. It is used down in this configuration file. If left
7 unspecified, name of the user executing matita will be used (as per
9 <key name="name">web</key>
12 <key name="metadata">mysql://mowgli.cs.unibo.it public helm none library</key>
13 <key name="metadata">mysql://mowgli.cs.unibo.it mowgli helm none legacy</key>
14 <key name="metadata">file:///tmp/ dust.db helm none user</key>
16 <section name="rdfly">
17 <key name="port">58086</key>