Use the same shell as invoked with for installation. (#1403)

Fixes #1402
This commit is contained in:
Matt Godbolt
2022-07-17 10:16:47 -07:00
committed by GitHub
parent 142a48e204
commit dab4f56e4e
+2 -2
View File
@@ -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."