From 4d58bb1cc937b375b0a06099071f1c305e31dba6 Mon Sep 17 00:00:00 2001 From: Bart Thomee <11445373+bthomee@users.noreply.github.com> Date: Sun, 2 Nov 2025 18:35:20 +0000 Subject: [PATCH] Use braces and quotes appropriately --- .github/scripts/rename/definitions.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/rename/definitions.sh b/.github/scripts/rename/definitions.sh index d22e2916b4..403e5eab0d 100755 --- a/.github/scripts/rename/definitions.sh +++ b/.github/scripts/rename/definitions.sh @@ -5,7 +5,7 @@ set -e # On MacOS, ensure that GNU sed is installed and available as `gsed`. SED_COMMAND=sed -if [[ "$OSTYPE" == "darwin"* ]]; then +if [[ "${OSTYPE}" == 'darwin'* ]]; then if ! command -v gsed &> /dev/null; then echo "Error: gsed is not installed. Please install it using 'brew install gnu-sed'." exit 1