From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 14 Feb 2006 18:45:50 +0000 (+0000)
Subject: added info on how to create the dumps
X-Git-Tag: 0.4.95@7852~1665
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b51f60581816650097c3444641dd1b07f4f44ca8;p=helm.git

added info on how to create the dumps
---

diff --git a/metadata/dumps/README b/metadata/dumps/README
index e38d54856..cee8c4eb4 100644
--- a/metadata/dumps/README
+++ b/metadata/dumps/README
@@ -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