matita/matita.conf.xml.build.in

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3   <section name="user">
   4     <key name="home">$(HOME)</key>
   5   </section>
   6   <section name="matita">
   7     <key name="basedir">@SRCROOT@/matita/.matita</key>
   8     <key name="owner">nobody</key>
   9   </section>
  10   <section name="db">
  11     <key name="host">@DBHOST@</key>
  12     <key name="user">helm</key>
  13     <key name="database">matita</key>
  14   </section>
  15   <section name="getter">
  16     <key name="cache_dir">.matita/getter/cache</key>
  17     <key name="prefix">
  18       cic:/matita/
  19       file://$(matita.basedir)/xml/matita/
  20     </key>
  21     <key name="prefix">
  22       cic:/
  23       file:///does_not_exists/
  24       legacy
  25     </key>
  26   </section>
  27 </helm_registry>