Merge pull request #2080 from JohnAZoidberg/usr-env-bin-bash

docker scripts: Use portable shebang

Author: tlaurion

docker_latest.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Source shared docker helper functions
 # shellcheck source=docker/common.sh

docker_local_dev.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Source shared docker helper functions
 # shellcheck source=docker/common.sh

docker_repro.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Source shared docker helper functions (use the docker/ path where common.sh lives)
 # shellcheck source=docker/common.sh