]> matita.cs.unibo.it Git - helm.git/commitdiff
added info on how to create the dumps
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Feb 2006 18:45:50 +0000 (18:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 14 Feb 2006 18:45:50 +0000 (18:45 +0000)
helm/software/metadata/dumps/README

index e38d548564a062812989bcae4162d256ae5724a7..cee8c4eb4c87b09586b1ebb0f50855fc03064a85 100644 (file)
@@ -1,3 +1,7 @@
 Dumps of the Matita database containing rows regarding the Coq exportation.
 
+The recommended way to create the dumps is the following:
+
+  mysqldump --no-create-info --extended-insert matita | gzip -c > matita_dump_`date +%s`.gz
+
 Tue, 14 Feb 2006 13:36:16 -0500 zack