- <!-- Access parameter to the (MySql) metadata database. They are not
- needed if Matita is always run with -nodb, but this is _not_
- recommended since a lot of features wont work.
- Hint. The simplest way to create a database is:
+ <!--
+ Every metadata key must have the following fields:
+ 1) dbhost: a file:// or a mysql:// path
+ 2) database name: use extension .db for file:// dbs
+ 3) username
+ 4) password: use 'none' for no password
+ 5) dbtype: one of the following
+ 'legacy'
+ are read only dbs, used for the Coq/contribs stuff
+ 'library'
+ is the standard library, becames writable in publish (-system)
+ mode
+ 'user'
+ is the user own db (can be the same of marked as ro, tables
+ have different names and can coexist)
+
+ Note that:
+ exactly one 'user' db must be specified
+ exactly one 'library' db must be specified
+ exactly one 'legacy' db can be specified
+ -->
+
+ <!-- The following snippet is used by the helm team
+ note that user's tables are named diffrently from library tables,
+ so they can coexists on the same db -->
+
+ <key name="metadata">@DBHOST@ matita helm none legacy</key>
+ <key name="metadata">@DBHOST@ public helm none library</key>
+ <key name="metadata">@DBHOST@ matita helm none user</key>
+
+ <!-- The following snippet it what you want to use a local sqlite db
+ and acess remotely to the coq library trought mowgli
+ <key name="metadata">@DBHOST@ matita helm none legacy</key>
+ <key name="metadata">file://$(matita.rt_base_dir) metadata.db helm helm library</key>
+ <key name="metadata">file://$(matita.basedir) user.db helm helm user</key>
+ -->
+
+ <!--
+ If you have a large amount of metadata, you may be interested in using
+ MySql instead of Sqlite. The simplest way to create a MySql database is: