From b51f60581816650097c3444641dd1b07f4f44ca8 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 14 Feb 2006 18:45:50 +0000 Subject: [PATCH] added info on how to create the dumps --- metadata/dumps/README | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 2.39.2