From e49e1516f65a1e4e138fd98880a29623e760d23e Mon Sep 17 00:00:00 2001 From: Daniel Schaefer Date: Wed, 8 Apr 2026 22:54:07 +0800 Subject: [PATCH] docker scripts: Use portable shebang Not all distros have /bin/bash, use env to get bash from the PATH Signed-off-by: Daniel Schaefer --- docker_latest.sh | 2 +- docker_local_dev.sh | 2 +- docker_repro.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docker_latest.sh b/docker_latest.sh index 3b13da595..bb1077a7c 100755 --- a/docker_latest.sh +++ b/docker_latest.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Source shared docker helper functions # shellcheck source=docker/common.sh diff --git a/docker_local_dev.sh b/docker_local_dev.sh index 2afc60e43..55dd2e45e 100755 --- a/docker_local_dev.sh +++ b/docker_local_dev.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Source shared docker helper functions # shellcheck source=docker/common.sh diff --git a/docker_repro.sh b/docker_repro.sh index dccf4154a..b660bc4ce 100755 --- a/docker_repro.sh +++ b/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