haldis/populate-db.sh

8 lines
162 B
Bash
Raw Normal View History

2019-04-04 18:27:50 +02:00
#!/bin/bash
2020-06-21 22:02:25 +02:00
set -euo pipefail
2019-04-04 18:27:50 +02:00
cd "$(dirname "$0")/app"
2019-04-04 18:27:50 +02:00
cp database/* .
2022-04-19 20:40:06 +02:00
env python create_database.py setup_database
rm -f add_* create_database.py muhscheme.txt