From 9bb66e718169b1290dfd225750ec97e2465b1fbb Mon Sep 17 00:00:00 2001
From: haixuanTao <tao.xavier@outlook.com>
Date: Tue, 17 Sep 2024 14:28:24 +0200
Subject: [PATCH] Revert /bin/bash as it actually worked just fine

---
 install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install.sh b/install.sh
index 26e0f22e..cbb8bbad 100755
--- a/install.sh
+++ b/install.sh
@@ -195,7 +195,7 @@ else
   echo ""
 fi
 
-if [ -z "$BASH" ]; then
+if [ "$SHELL" = "/bin/bash" ]; then
     if ! grep -q "$dest" ~/.bashrc; then
         echo "Adding $dest to PATH in ~/.bashrc"
         echo "export PATH=\$PATH:$dest" >> ~/.bashrc