From e61a04b0cc19af5dbb48018d1b30ecac09fc1bba Mon Sep 17 00:00:00 2001 From: Damian Rouson Date: Fri, 8 Dec 2023 11:42:32 -0800 Subject: [PATCH] fix(install.sh): ignore pipe in CI --- install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install.sh b/install.sh index 30985fd43..faf76d687 100755 --- a/install.sh +++ b/install.sh @@ -179,7 +179,7 @@ if [ -z ${FC+x} ] || [ -z ${CC+x} ] || [ -z ${CXX+x} ] || [ -z ${PKG_CONFIG+x} ] curl -L https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh -o $DEPENDENCIES_DIR/install-homebrew.sh --create-dirs chmod u+x $DEPENDENCIES_DIR/install-homebrew.sh - if [ -p /dev/stdin ]; then + if [ -p /dev/stdin ] && [ $CI = false ]; then echo "" echo "Pipe detected. Installing Homebrew requires sudo privileges, which most likely will" echo "not work if you are installing non-interactively, e.g., via 'yes | ./install.sh'."