]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/matita.conf.xml.in
natural number => Coq natural number
[helm.git] / 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   </section>
26   <section name="db">
27     <!-- 
28     Every metadata key must have the following fields:
29       1) dbhost: a file:// or a mysql:// path
30       2) database name: use extension .db for file:// dbs
31       3) username
32       4) password: use 'none' for no password
33       5) dbtype: one of the following
34            'legacy' 
35               are read only dbs, used for the Coq/contribs stuff
36            'library' 
37               is the standard library, becames writable in publish (-system)
38               mode
39            'user' 
40               is the user own db (can be the same of marked as ro, tables
41               have different names and can coexist)
42
43     Note that:
44       exactly one 'user'    db must be specified
45       exactly one 'library' db must be specified
46       exactly one 'legacy'  db can  be specified
47     -->
48     
49     <!-- this snippet is what is used by the helm team, everything on mowgli.
50          note that user's tables are named diffrently from library tables, so that
51          they can coexists on the same db -->
52
53     <key name="metadata">@DBHOST@ public helm none legacy</key>
54     <key name="metadata">@DBHOST@ matita helm none library</key>
55     <key name="metadata">@DBHOST@ matita helm none user</key>
56
57     <!-- The following snipset is used by the helm team to publish the matita
58          contributions
59     <key name="metadata">@DBHOST@ mowgli helm none legacy</key>
60     <key name="metadata">@DBHOST@ public helm none library</key>
61     <key name="metadata">@DBHOST@ public helm none user</key>
62     -->
63
64     <!-- The following snippet it what you want to use a local sqlite db
65          and acess remotely to the coq library trought mowgli
66     <key name="metadata">@DBHOST@ matita helm none legacy</key>
67     <key name="metadata">file://$(matita.rt_base_dir) metadata.db helm helm library</key>
68     <key name="metadata">file://$(matita.basedir) user.db helm helm user</key>
69     -->
70
71     <!-- 
72     If you have a large amount of metadata, you may be interested in using
73     MySql instead of Sqlite. The simplest way to create a MySql database is:
74       0) # become an user with database administration privileges
75       1) mysqladmin create matita
76       2) echo "grant all privileges on matita.* to helm;" | mysql matita
77       Note that this way the database will be open to anyone, apply
78       stricter permissions if needed.
79     -->
80   </section>
81   <section name="getter">
82     <!-- Cache dir for CIC XML documents downloaded from the net.
83     Beware that this dir may become really space-consuming. It wont be
84     used if all prefexises below are local (i.e. "file:///" URI scheme).
85     -->
86     <key name="cache_dir">$(user.home)/.matita/getter/cache</key>
87     <!-- "Prefixes", i.e.: mappings URI -> URL of the global library
88     Each prefix mapps an URI of the cic:/ namespace to an URL where the
89     documents can actually be accessed. URL can be in the "file://" or
90     "http://" scheme. Only "file://" scheme can be used to store
91     documents created by the user.
92     Each prefix may be given a list of attributes. Currently supported
93     attributes are:
94     - "legacy" for parts of the library not generated by Matita (e.g.
95       exported from Coq)
96     - "ro" for parts of the library which are not writable by the user
97       (e.g. the Matita standard library)
98     "legacy" implies "ro"
99     -->
100     <key name="prefix">
101       cic:/matita/
102       file:///projects/helm/library/matita_contribs/matita
103       ro
104     </key>
105     <key name="prefix">
106       cic:/matita/
107       file://$(matita.rt_base_dir)/xml/standard-library/
108       ro
109     </key>
110     <key name="prefix">
111       cic:/matita/
112       file://$(user.home)/.matita/xml/matita/
113     </key>
114     <key name="prefix">
115       cic:/
116       file://@RT_BASE_DIR@/xml/legacy-library/coq/
117       legacy
118     </key>
119     <key name="prefix">
120       cic:/
121       file:///projects/helm/library/coq_contribs/
122       legacy
123     </key>
124     <key name="prefix">
125       cic:/
126       http://mowgli.cs.unibo.it/xml/
127       legacy
128     </key>
129   </section>
130 </helm_registry>