From 093416dd57028e463abfa0a528aa01898446359c Mon Sep 17 00:00:00 2001 From: sadan <117494111+sadan4@users.noreply.github.com> Date: Sun, 25 May 2025 22:51:04 -0400 Subject: [PATCH] use /usr/bin/env bash instead of hardcoding /bin/bash in scripts Signed-off-by: sadan <117494111+sadan4@users.noreply.github.com> --- scripts/flash-prebuilt.sh | 2 +- scripts/make-image.sh | 2 +- scripts/quick-start.sh | 2 +- scripts/setup-vm.sh | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/flash-prebuilt.sh b/scripts/flash-prebuilt.sh index 692e586..ad4337f 100755 --- a/scripts/flash-prebuilt.sh +++ b/scripts/flash-prebuilt.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e # Exit on any kind of error diff --git a/scripts/make-image.sh b/scripts/make-image.sh index d875dd7..a3d415c 100755 --- a/scripts/make-image.sh +++ b/scripts/make-image.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Exit on error (saves checking the return value of every command) set -e diff --git a/scripts/quick-start.sh b/scripts/quick-start.sh index 5a108b8..431cfb8 100755 --- a/scripts/quick-start.sh +++ b/scripts/quick-start.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash SCRIPTDIR=scripts source $SCRIPTDIR/laptops-common.inc diff --git a/scripts/setup-vm.sh b/scripts/setup-vm.sh index 36a347c..66ee121 100755 --- a/scripts/setup-vm.sh +++ b/scripts/setup-vm.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash WORKDIR=/tmp/aarch64-laptops EFIBOOTDIR=/boot/efi/EFI/BOOT