diff options
author | Richie Zhang <12566991+StaticallyTypedRice@users.noreply.github.com> | 2020-05-11 10:16:08 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-11 13:16:08 -0400 |
commit | d17316508cd76c6e75f099731f6e5275298ece73 (patch) | |
tree | f20ed8d6391f9e6ecdd1c3306f3cdd4d44243183 /.github | |
parent | b83aae0b57f79f89c34d7dc9c3433fec64255e18 (diff) |
Improve shell scripts (#705)
* Improve init-db.sh
Allow custom database parameters.
Abstract common functionality.
* Improve install.sh
Abstract common functionality.
Ask to automagically reload the project when source files are changed.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions