From dab4f56e4e5a4a30d3d18ecb3015e55fdaa37ec9 Mon Sep 17 00:00:00 2001
From: Matt Godbolt <matt@godbolt.org>
Date: Sun, 17 Jul 2022 12:16:47 -0500
Subject: [PATCH] Use the same shell as invoked with for installation. (#1403)

Fixes #1402
---
 installers/local/install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/installers/local/install.sh b/installers/local/install.sh
index 0d993516335f..f2b13a85a0a6 100755
--- a/installers/local/install.sh
+++ b/installers/local/install.sh
@@ -60,9 +60,9 @@ done
 
 if [[ -O "${ACCESS_PATH}" ]]; then
   echo "Installing files..."
-  echo "${SCRIPT}" | /usr/bin/bash -eux -
+  echo "${SCRIPT}" | /bin/bash -eux -
 else
   echo "Installing files using sudo..."
-  echo "${SCRIPT}" | sudo -- /usr/bin/bash -eux -
+  echo "${SCRIPT}" | sudo -- /bin/bash -eux -
 fi
 echo "All done."