This repository has been archived on 2026-01-12. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
ptp/pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.sh

8 lines
237 B
Bash
Executable File

#!/usr/bin/env bash
export MYSQL_PWD=secret
for sqlScript in $( find ../../ -name "*.sql" -print | sort);
do
echo "**** $sqlScript ****"
mysql --batch --quick --raw --line-numbers --force --user=panda < $sqlScript
done