Commit graph

10 commits

Author SHA1 Message Date
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