J. Ryan Stinnett b6963d0e5c Use bash in Docker scripts
Our Docker scripts use Bash-style conditionals that aren't supported by the
default Debian shell.
2020-01-22 17:45:22 +00:00
..
2019-07-11 12:45:06 -06:00
2019-04-17 18:31:36 +01:00
2020-01-13 20:40:00 -07:00
2019-05-02 18:05:11 +01:00