Dark-Alex-17/ptp
Archived
1
0 Fork 0
Code Issues Actions Packages Projects Releases Wiki Activity

PAN-6 added a Windows batch file to load the DB on Windows systems.

Browse Source
This commit is contained in:
Dark-Alex-17 committed 2019-02-12 10:59:39 -07:00
1 parent 38e88c9f94
commit 04e662ecd6
2 files changed
+14 -2
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

pandamonium-theorem-prover/persistence/scripts/mysql/loaddb.bat
+5
View File
@@ -0,0 +1,5 @@
SET MYSQL_PWD=secret
FOR /R %%s IN (.\*.sql) do (
echo **** %%s ****
echo mysql --batch --quick --raw --line-numbers --force --user=panda < %%s
)