Fix /bin/bash -> /usr/bin/env bash (#2448)

* Fix /bin/bash -> /usr/bin/env bash

* Add curl to docker container

Dockerfile

@@ -13,6 +13,7 @@ RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone &
         python3-pip \
         python3-venv \
         git \
+        curl \
         wget \
         unzip \
         clang-tidy \

Makefile

@@ -1,7 +1,7 @@
 MAKEFLAGS += --no-builtin-rules
 
 # Ensure the build fails if a piped command fails
-SHELL = /bin/bash
+SHELL = /usr/bin/env bash
 .SHELLFLAGS = -o pipefail -c
 
 #### Build options ####

tools/disasm/do_disasm.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -eu -o pipefail
 
 if [ "${VERBOSE-}" ]

tools/generate_patch_from_jenkins.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -euo pipefail
 
 PATCH=$(git diff | base64 -w 0)