Case c1 t1 vs c2 t2 where c1 and c2 are not splitted and t1 and t2

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

#!/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