Update run.sh

This commit is contained in:
2023-11-14 20:16:07 -06:00
parent efbd6b8cd9
commit 474431f453

2
run.sh
View File

@@ -11,7 +11,7 @@ source /opt/idssys/nodemgmt/defaults.inc
# if [[ "${noheader}" != *" ${1} "* ]] && [[ "${noheader}" != *" ${2} "* ]] && [ "${1}" != "status" ]; then
if [ "${1}" == "update" ]; then
if curl -m 10 -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then
if curl -m 3 -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then
if [ "${2}" != "q" ]; then
echo -en "${idsCL[LightCyan]}Checking for updates...${idsCL[Default]}"
echo