From da1b252f3b0ad9228cfc32dad7b08be020c11ca2 Mon Sep 17 00:00:00 2001
From: Marc 'risson' Schmitt <marc.schmitt@risson.space>
Date: Mon, 26 May 2025 14:38:29 +0200
Subject: [PATCH] root: do not use /bin/bash directly (#14698)

---
 Makefile                      | 2 +-
 scripts/test_docker.sh        | 2 +-
 website/scripts/docsmg/m.bash | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 6618729e55..d2934e700c 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 .PHONY: gen dev-reset all clean test web website
 
-SHELL := /bin/bash
+SHELL := /usr/bin/env bash
 .SHELLFLAGS += ${SHELLFLAGS} -e -o pipefail
 PWD = $(shell pwd)
 UID = $(shell id -u)
diff --git a/scripts/test_docker.sh b/scripts/test_docker.sh
index 72a42da086..ed7e355778 100755
--- a/scripts/test_docker.sh
+++ b/scripts/test_docker.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -e -x -o pipefail
 hash="$(git rev-parse HEAD || openssl rand -base64 36 | sha256sum)"
 
diff --git a/website/scripts/docsmg/m.bash b/website/scripts/docsmg/m.bash
index 0c4d022630..6d70de0187 100755
--- a/website/scripts/docsmg/m.bash
+++ b/website/scripts/docsmg/m.bash
@@ -1,2 +1,2 @@
-#!/bin/bash
+#!/usr/bin/env bash
 docsmg move $1 $2 | tee -a migratefile