Charlotte Van Petegem
bbb38aa825
Make sure to stamp database at latest revision after setup
2022-05-20 21:59:51 +02:00
Maxime
33d2fe3b52
Merge pull request #182 from ZeusWPI/cleanup
...
Cleanup populate-db script
2022-04-19 21:35:38 +02:00
mcbloch
2123d7d1a3
fix the weird copying of files
2022-04-19 21:31:40 +02:00
Jan-Pieter Baert
ba1b37f5fe
Update populate-db to be less hacky
2022-04-19 20:40:06 +02:00
Francis Begyn
4924f22b48
make shell scripts portable
...
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.
2022-04-19 19:17:27 +02:00
42ac9031e6
Avoid overwriting config, make DB script robuster
2020-07-17 11:10:32 +02:00
323a24ece6
Add set -euo pipefail!
2020-06-21 22:04:38 +02:00
redfast00
d75732fdcf
Fix db init script
2019-09-11 04:10:24 +02:00
mcbloch
d33dc05840
use pip-tools for dependecy management, update setup script
2019-04-05 01:25:30 +02:00
mcbloch
3a5f31bfac
add database population script
2019-04-04 18:27:50 +02:00
