From 6d9f1e875410cc0cc0bd0c56a9b1af3e48b4fa28 Mon Sep 17 00:00:00 2001 From: Howard Wu <40033067+Howard20181@users.noreply.github.com> Date: Tue, 6 Sep 2022 16:14:54 +0800 Subject: [PATCH] close #76 --- scripts/run.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/run.sh b/scripts/run.sh index 1be6535..61c7087 100755 --- a/scripts/run.sh +++ b/scripts/run.sh @@ -86,9 +86,9 @@ check_package_manager if [ -n "${NEED_INSTALL[*]}" ]; then if [ -z "$PM" ]; then echo "Unable to determine package manager: unknown distribution" - exit 1 + abort else - if ! sudo "$PM" "${UPDATE_OPTION[@]}" && sudo "$PM" "${INSTALL_OPTION[@]}" "${NEED_INSTALL[@]}"; then abort; fi + if ! (sudo "$PM" "${UPDATE_OPTION[@]}" && sudo "$PM" "${INSTALL_OPTION[@]}" "${NEED_INSTALL[@]}") then abort; fi fi fi pip list --disable-pip-version-check | grep -E "^requests " >/dev/null 2>&1 || python3 -m pip install requests