branch for universe

[helm.git] / matita / scripts / clean_db.sh

diff --git a/matita/scripts/clean_db.sh b/matita/scripts/clean_db.sh
new file mode 100755 (executable)
index 0000000..0d07675
--- /dev/null
+++ b/matita/scripts/clean_db.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+TBL=`echo show tables | mysql matita -u helm | grep -v _`
+for X in $TBL; do
+  echo cleaning $X
+  echo "delete from $X where source like 'cic:/matita/%'" | mysql matita -u helm
+done