From 3c5c755b014fb99412ae4ebf845409c4f2c9a9d2 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 --- helm/software/metadata/dumps/README | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/helm/software/metadata/dumps/README b/helm/software/metadata/dumps/README index e38d54856..cee8c4eb4 100644 --- a/helm/software/metadata/dumps/README +++ b/helm/software/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