helm/software/matita/matita.conf.xml.in

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3   <section name="user">
   4     <!-- User home directory. Here a ".matita" directory will be created
   5     and used to store the part of the library developed by the user. -->
   6     <key name="home">$(HOME)</key>
   7     <!-- User name. It is used down in this configuration file.  If left
   8     unspecified, name of the user executing matita will be used (as per
   9     getent) -->
  10     <key name="name">$(USER)</key>
  11   </section>
  12   <section name="matita">
  13     <!-- Debug only. Stay away. -->
  14     <!-- <key name="auto_disambiguation">true</key> -->
  15     <!-- Debug only. Stay away. -->
  16     <!-- <key name="environment_trust">true</key> -->
  17     <key name="basedir">$(user.home)/.matita</key>
  18     <!-- Where support files are installed -->
  19     <key name="rt_base_dir">@RT_BASE_DIR@</key>
  20     <!-- Metadata owner. It will be used to create user-specific tables
  21     in the SQL database. -->
  22     <key name="owner">$(user.name)</key>
  23     <!-- Initial GUI font size. -->
  24     <!-- <key name="font_size">10</key> -->
  25     <!--  Perform heavy checks when run interactively (like duplicate check) -->
  26     <!-- <key name="do_heavy_checks">false</key> -->
  27   </section>
  28   <section name="db">
  29     <!--
  30     Every metadata key must have the following fields:
  31       1) dbhost: a file:// or a mysql:// path
  32       2) database name: use extension .db for file:// dbs
  33       3) username
  34       4) password: use 'none' for no password
  35       5) dbtype: one of the following
  36            'legacy'
  37               are read only dbs, used for the Coq/contribs stuff
  38            'library'
  39               is the standard library, becames writable in publish (-system)
  40               mode
  41            'user'
  42               is the user own db (can be the same of marked as ro, tables
  43               have different names and can coexist)
  44
  45     Note that:
  46       exactly one 'user'    db must be specified
  47       exactly one 'library' db can be specified
  48       exactly one 'legacy'  db can  be specified
  49     -->
  50
  51     <!-- The following snippet is used by the helm team
  52          note that user's tables are named diffrently from library tables,
  53          so they can coexists on the same db
  54
  55     <key name="metadata">@DBHOST@ matita helm none library</key>
  56     <key name="metadata">@DBHOST@ matita helm none user</key>
  57
  58     -->
  59
  60     <!-- The following snippet it what you want to use a local sqlite db
  61          and acess remotely to the coq library trought mowgli
  62     <key name="metadata">@DBHOST@ matita helm none legacy</key>
  63     -->
  64     <key name="metadata">file://$(matita.basedir) user.db helm helm user</key>
  65
  66     <!--
  67     If you have a large amount of metadata, you may be interested in using
  68     MySql instead of Sqlite. The simplest way to create a MySql database is:
  69       0) # become an user with database administration privileges
  70       1) mysqladmin create matita
  71       2) echo "grant all privileges on matita.* to helm;" | mysql matita
  72       Note that this way the database will be open to anyone, apply
  73       stricter permissions if needed.
  74     -->
  75   </section>
  76   <section name="getter">
  77     <!-- Cache dir for CIC XML documents downloaded from the net.
  78     Beware that this dir may become really space-consuming. It wont be
  79     used if all prefexises below are local (i.e. "file:///" URI scheme).
  80     -->
  81     <key name="cache_dir">$(user.home)/.matita/getter/cache</key>
  82     <!-- "Prefixes", i.e.: mappings URI -> URL of the global library
  83     Each prefix mapps an URI of the cic:/ namespace to an URL where the
  84     documents can actually be accessed. URL can be in the "file://" or
  85     "http://" scheme. Only "file://" scheme can be used to store
  86     documents created by the user.
  87     Each prefix may be given a list of attributes. Currently supported
  88     attributes are:
  89     - "legacy" for parts of the library not generated by Matita (e.g.
  90       exported from Coq)
  91     - "ro" for parts of the library which are not writable by the user
  92       (e.g. the Matita standard library)
  93     "legacy" implies "ro"
  94     -->
  95     <key name="prefix">
  96       cic:/matita/
  97       file://$(user.home)/.matita/xml/matita/
  98     </key>
  99 <!--
 100     <key name="prefix">
 101       cic:/
 102       file://@RT_BASE_DIR@/xml/legacy-library/coq/
 103       legacy
 104     </key>
 105     <key name="prefix">
 106       cic:/
 107       file:///projects/helm/library/coq_contribs/
 108       legacy
 109     </key>
 110     <key name="prefix">
 111       cic:/
 112       http://mowgli.cs.unibo.it/xml/
 113       legacy
 114     </key>
 115 -->
 116   </section>
 117 </helm_registry>