1 <?xml version="1.0" encoding="utf-8"?>
4 <key name="home">$(HOME)</key>
6 <section name="matita">
7 <key name="basedir">.matita</key>
8 <key name="owner">nobody</key>
11 <key name="host">@DBHOST@</key>
12 <key name="user">helm</key>
13 <key name="database">matita</key>
15 <section name="getter">
16 <key name="cache_dir">.matita/getter/cache</key>
19 file://.matita/xml/matita/
23 file:///does_not_exists/