ptp/pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.sh

#!/usr/bin/env bash

for sqlScript in $( find . -name "*.sql" -print | sort);
   do
      echo "**** $sqlScript ****"
      mysql -u panda -psecret < $sqlScript
   done