From 242aa676b3c7845e6aef012a548611f37798ffdc Mon Sep 17 00:00:00 2001 From: "Tobin C. Harding" Date: Wed, 31 Jan 2024 11:19:49 +1100 Subject: [PATCH] Use env bash instead of /bin/bash As we do in all the other shell scripts use `env` to call `bash`. --- contrib/gen_label_config.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/gen_label_config.sh b/contrib/gen_label_config.sh index 1f88145a..066113e3 100755 --- a/contrib/gen_label_config.sh +++ b/contrib/gen_label_config.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e