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:44:18 +00:00
parent 1b8ea4b6d7
commit b6963d0e5c
3 changed files with 4 additions and 4 deletions
--- a/scripts/docker-write-version.sh
+++ b/scripts/docker-write-version.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 set -ex