Update run.sh

This commit is contained in:
2023-01-01 16:44:34 -06:00
parent 83702c712f
commit 37a81168a1

4
run.sh
View File

@@ -9,7 +9,7 @@ else
fi
source /opt/idssys/defaults/colors.inc
if curl -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then
if curl -m 15 -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then
if [ "${1}" != "runup" ]; then
echo -en "${idsCL[LightCyan]}Checking for updates...${idsCL[Default]}"
echo ""
@@ -46,6 +46,8 @@ if curl -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 20
echo -e "\e[0K\r ${idsCL[Green]}Updates Completed${idsCL[Default]}"
echo ""
fi
else
echo -e "${idsCL[Red]}Could not connect to 'git.schroedercity.com' for updates${idsCL[Default]}"
fi
if [ "${1}" != "runup" ]; then