From e63ea95515f8dc1ce8e0d2283c46ee6ef6a99523 Mon Sep 17 00:00:00 2001
From: dltn <6599399+dltn@users.noreply.github.com>
Date: Sat, 14 Jun 2025 04:04:09 +0000
Subject: [PATCH] add more helpful message to the script too

---
 install.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/install.sh b/install.sh
index e424925a6..dae43df38 100755
--- a/install.sh
+++ b/install.sh
@@ -5,6 +5,11 @@
 # This source code is licensed under the terms described in the LICENSE file in
 # the root directory of this source tree.
 
+[ -z "$BASH_VERSION" ] && {
+  echo "This script must be run with bash" >&2
+  exit 1
+}
+
 set -Eeuo pipefail
 
 PORT=8321