Merge remote-tracking branch 'source/main' into source

wxy1343 · Sep 6, 2022 · 59fd400 · 59fd400
2 parents d208536 + 6d9f1e8
commit 59fd400
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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