4924f22b48
The current shell scripts call `/bin/bash`. This won't work on certain
systems (`nixos` for example 👀).
By switching to `/usr/bin/env bash` these scripts become portable. As
long as `bash` environment is present on a system, the scripts will
work.
8 lines
178 B
Bash
Executable file
8 lines
178 B
Bash
Executable file
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
cd "$(dirname "$0")/app"
|
|
cp database/* .
|
|
../venv/bin/python create_database.py setup_database
|
|
rm -f add_* create_database.py muhscheme.txt
|