From 5864dffb7b23c46da2594d97ef523847889a6e82 Mon Sep 17 00:00:00 2001 From: iliana etaoin Date: Fri, 1 Dec 2023 14:20:38 -0800 Subject: [PATCH] install other builder prereqs on non-debians --- tools/install_builder_prerequisites.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/tools/install_builder_prerequisites.sh b/tools/install_builder_prerequisites.sh index d3ecd8eaa8..fad531af64 100755 --- a/tools/install_builder_prerequisites.sh +++ b/tools/install_builder_prerequisites.sh @@ -105,6 +105,12 @@ HOST_OS=$(uname -s) function install_packages { if [[ "${HOST_OS}" == "Linux" ]]; then + if ! grep -q -e 'ID=debian' -e 'ID_LIKE=.*debian.*' /etc/os-release; then + echo "This script doesn't yet support $(grep ^ID /etc/os-release)" + echo "We assume you know what you're doing!" + return + fi + packages=( 'libpq-dev' 'pkg-config' @@ -162,7 +168,7 @@ function install_packages { confirm "Install (or update) [${packages[*]}]?" && brew install "${packages[@]}" else echo "Unsupported OS: ${HOST_OS}" - exit 1 + echo "We assume you know what you're doing!" fi }