helm/software/matita/scripts/clean_db.sh

   1 #!/bin/sh
   2
   3 TBL=`echo show tables | mysql matita -u helm | grep -v _`
   4 for X in $TBL; do
   5   echo cleaning $X
   6   echo "delete from $X where source like 'cic:/matita/%'" | mysql matita -u helm
   7 done